Travelled to:1 × USA
1 × United Kingdom
Collaborated with:A.Phillips A.M.Pitts
Talks about:function (2) program (2) reaction (1) languag (1) displac (1) definit (1) strand (1) resolv (1) induct (1) higher (1)
Person: Matthew R. Lakin
DBLP: Lakin:Matthew_R=
Contributed to:
2014
2009Wrote 2 papers:
- PADL-2014-LakinP #compilation #functional #programming language #using
- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
- ESOP-2009-LakinP #functional #higher-order #induction #programming
- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.