Travelled to:1 × Ireland
1 × Japan
Collaborated with:O.Danvy J.Munk I.Zerny
Talks about:deconstruct (1) defunction (1) interpret (1) ration (1) landin (1) evalu (1) oper (1) need (1) call (1)
Person: Kevin Millikin
DBLP: Millikin:Kevin
Contributed to:
2010
2005Wrote 2 papers:
- FLOPS-2010-DanvyMMZ #call-by #evaluation
- Defunctionalized Interpreters for Call-by-Need Evaluation (OD, KM, JM, IZ), pp. 240–256.
- IFL-2005-DanvyM
- A Rational Deconstruction of Landin’s J Operator (OD, KM), pp. 55–73.