CiteSeer.IST Home   Related articles for: Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In PLDI '93 [36], pages 237--247.   Doc

Related documents from co-citation:   All related documents
65:   Compiling with Continuations (context) - Appel - 1992
29:   ORBIT: An Optimizing Compiler for Scheme (context) - Kranz - 1988
27:   Reasoning about programs in continuation-passing style - Sabry, Felleisen
19:   TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
18:   Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
18:   A generic account of continuation-passing styles - Hatcliff, Danvy
17:   RABBIT: A compiler for SCHEME (context) - Steele - 1978
17:   Computational lambda-calculus and monads - Moggi - 1989
16:   The revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
16:   A type-based compiler for Standard ML - Shao, Appel - 1994
16:   The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
15:   Typed closure conversion - Minamide, Morrisett et al. - 1996
15:   Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
15:   Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
15:   The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
14:   a better support of static data flow - Consel, Danvy
14:   Information and Computation (context) - Moggi, computation - 1991
13:   Mathematical Structures in Computer Science (context) - Danvy, Filinski et al. - 1992
13:   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
13:   Design and Implementation of Code Optimizations for a TypeDirected Compiler for .. (context) - Tarditi - 1996

CiteSeer.IST - Copyright Penn State and NEC