#### Filter Results:

- Full text PDF available (10)

#### Publication Year

2005

2015

- This year (0)
- Last 5 years (2)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Olivier Danvy, Kevin Millikin
- Inf. Process. Lett.
- 2008

We show how Ohori and Sasanoâ€™s recent lightweight fusion by fixed-point promotion provides a simple way to prove the equivalence of the two standard styles of specification of abstract machines: (1)â€¦ (More)

- Olivier Danvy, Kevin Millikin
- Sci. Comput. Program.
- 2006

We present the left inverse of Reynoldsâ€™s defunctionalization and we show its relevance to programming and to programming languages. We propose two methods to transform a program that is almost inâ€¦ (More)

- Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
- FLOPS
- 2010

Starting from the standard call-by-need reduction for the Î»-calculus that is common to Ariola, Felleisen, Maraist, Odersky, and Wadler, we inter-derive a series of hygienic semantic artifacts: aâ€¦ (More)

- Olivier Danvy, Kevin Millikin
- Logical Methods in Computer Science
- 2008

Landinâ€™s SECD machine was the first abstract machine for applicative expressions, i.e., functional programs. Landinâ€™s J operator was the first control operator for functional languages, and wasâ€¦ (More)

- Darek Biernacki, Sam Lindley, Jan Midtgaard, Kevin Millikin, Henning Korsholm
- 2005

We study the connections between different forms of operational semantics for functional programming languages and we present systematic methods of interderiving reduction semantics, abstractâ€¦ (More)

- Erik Meijer, Kevin Millikin, Gilad Bracha
- ACM Queue
- 2015

A set of extensions to the Dart programming language, designed to support asynchrony and generator functions

- Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
- Theor. Comput. Sci.
- 2012

Starting from the standard call-by-need reduction for the Î»-calculus that is common to Ariola, Felleisen, Maraist, Odersky, and Wadler, we inter-derive a series of hygienic semantic artifacts: aâ€¦ (More)

- Olivier Danvy, Kevin Millikin, Lasse R. Nielsen
- J. Funct. Program.
- 2007

We bridge two distinct approaches to one-pass CPS transformations, i.e., CPS transformations that reduce administrative redexes at transformation time instead of in a post-processing phase. Oneâ€¦ (More)

- Olivier Danvy, Kevin Millikin
- IFL
- 2005

Landinâ€™s J operator was the first control operator for functional languages. It was specified with an extension of the SECD machine, which was the first abstract machine for functional languages. Weâ€¦ (More)

- Kevin Millikin
- Trends in Functional Programming
- 2005

We show how to construct a one-pass optimizing transformation by fusing a non-optimizing transformation with an optimization pass. We state the transformation in build form and the optimization passâ€¦ (More)