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
35 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
30 Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums – V Balat, R Di Cosmo, M P Fiore
129 Representing Monads – Andrzej Filinski - 1994
65 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
39 The Calculi of λv-CS conversion: a syntactic theory of control and state in imperative higher order programming – M Felleisen - 1987
731 Notions of Computation and Monads – Eugenio Moggi - 1991
20 Combinators for program generation – Peter Thiemann - 1999