A rational deconstruction of Landin’s J operator (2005)

by Olivier Danvy, Kevin Millikin
Venue:Implementation and Application of Functional Languages, 17th International Workshop, IFL’05, number 4015 in Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 3 of 3

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

by Dariusz Biernacki, Olivier Danvy, Kevin Millikin , 2006
"... ..."
Abstract - Cited by 11 (6 self) - Add to MetaCart
Abstract not found

Refunctionalization at Work

by Olivier Danvy, Kevin Millikin , 2008
"... ..."
Abstract - Cited by 9 (5 self) - Add to MetaCart
Abstract not found

This document in subdirectory RS/06/5 / Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative ∗

by Kristian Støvring, Kristian Støvring, Kristian Støvring , 2006
"... Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS