Collaborated with:
S.L.P.Jones D.Vytiniotis
Talks about:
supercompil (1) convent (1) termin (1) combin (1) forev (1) evalu (1) type (1) call (1)
Person: Maximilian C. Bolingbroke
DBLP: Bolingbroke:Maximilian_C=
Contributed to:
Wrote 3 papers:
- Haskell-2009-BolingbrokeJ
- Types are calling conventions (MCB, SLPJ), pp. 1–12.
- Haskell-2010-BolingbrokeJ #evaluation #supercompilation
- Supercompilation by evaluation (MCB, SLPJ), pp. 135–146.
- Haskell-2011-BolingbrokeJV #combinator #termination
- Termination combinators forever (MCB, SLPJ, DV), pp. 23–34.