An Implementation of Transparent Migration on Standard Scheme (2000)

by Eijiro Sumii
Venue:Department of Computer Science, Rice University
Citations:9 - 0 self

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
31 Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums, in: POPL’04 – V Balat, R Di Cosmo, M Fiore - 2004
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
130 Representing Monads – Andrzej Filinski - 1994
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
18 Handling Control – Dorai Sitaram - 1993
20 Combinators for program generation – Peter Thiemann - 1999
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
48 Dybvig. Continuations and concurrency – R Hieb, R Kent - 1990
56 Acute: High-level programming language design for distributed computation – Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis - 2004
10 Backtracking, interleaving, and terminating monad transformers: (functional pearl – Oleg Kiselyov, chieh Shan, Friedman Chung, P Daniel, Amr Sabry - 2005
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
9 The Second Futamura Projection for Type-Directed Partial Evaluation – Bernd Grobauer, Zhe Yang - 1999
24 A type-theoretic foundation of continuations and prompts – Zena M Ariola, Hugo Herbelin, Amr Sabry - 2004
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004