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 × India
Collaborated with:
Talks about:
self (3) normal (2) evalu (2) type (2) represent (1) interpret (1) intension (1) function (1) special (1) partial (1)

Person: Matt Brown

DBLP DBLP: Brown:Matt

Contributed to:

POPL 20152015
POPL 20162016
POPL 20172017
POPL 20182018

Wrote 4 papers:

POPL-2015-BrownP #self
Self-Representation in Girard’s System U (MB, JP), pp. 471–484.
POPL-2016-BrownP #normalisation #self
Breaking through the normalization barrier: a self-interpreter for f-omega (MB, JP), pp. 5–17.
POPL-2017-BrownP #self
Typed self-evaluation via intensional type functions (MB, JP), pp. 415–428.
POPL-2018-BrownP #normalisation #partial evaluation
Jones-optimal partial evaluation by specialization-safe normalization (MB, JP), p. 28.

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.