Travelled to:1 × India
Collaborated with:J.Palsberg
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: Brown:Matt
Contributed to:
2015201620172018Wrote 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.