dblp.uni-trier.dewww.uni-trier.de

Kevin Millikin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEOlivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator CoRR abs/0811.3231: (2008)
4EEOlivier Danvy, Kevin Millikin: On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Inf. Process. Lett. 106(3): 100-109 (2008)
2007
3EEOlivier Danvy, Kevin Millikin, Lasse R. Nielsen: On one-pass CPS transformations. J. Funct. Program. 17(6): 793-812 (2007)
2005
2EEOlivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's J Operator. IFL 2005: 55-73
1 Kevin Millikin: A new approach to one-pass transformations. Trends in Functional Programming 2005: 1-13

Coauthor Index

1Olivier Danvy [2] [3] [4] [5]
2Lasse R. Nielsen [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)