BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lakin:Matthew_R=

Contributed to:

PADL 20142014
ESOP 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.