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

Kevin Millikin Vis

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

*2009
7EEOlivier Danvy, Kevin Millikin: Refunctionalization at work. Sci. Comput. Program. 74(8): 534-549 (2009)
2008
6EEOlivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator CoRR abs/0811.3231: (2008)
5EEOlivier 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)
4EEOlivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science 4(4): (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] [6] [7]
2Lasse R. Nielsen [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)