Polymorphic type assignment and CPS conversion (1993)

by Robert Harper , Mark Lillibridge
Venue:LISP and Symbolic Computation
Citations:35 - 10 self

Active Bibliography

Polymorphic Type Assignment and CPS Conversion – Robert Harper Mark, Mark Lillibridge - 1992
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
Type Theory for Programming Languages – Robert Harper - 1994
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
92 Simple Imperative Polymorphism – Andrew Wright - 1995
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
8 Polymorphism by Name for . . . – Xavier Leroy - 1993
26 Typing References by Effect Inference – Andrew Wright - 1992
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994