Typing First-Class Continuations in ML (1992)

by Robert Harper , Bruce F. Duba , David Macqueen
Citations:93 - 14 self

Documents Related by Co-Citation

1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
110 Type inference for polymorphic references – M Tofte - 1990
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
620 Compiling with Continuations – Andrew W Appel - 1992
94 Type Assignment in Programming Languages – L M M Damas - 1984
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
935 A theory of type polymorphism in programming – Robin Milner - 1978
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
171 Call-by-name, call-by-value, and the lambda calculus – G Plotkin - 1975
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
60 Adding Threads to Standard ML – Eric C. Cooper, J. Gregory Morrisett - 1990
234 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
26 Typing References by Effect Inference – Andrew Wright - 1992
22 Typage polymorphe d'un langage algorithmique – X Leroy - 1992
90 Revised report on the algorithmic language scheme – J Rees, W Clinger - 1986
93 The De nition of Standard ML – R Milner, M Tofte, R Harper - 1990
74 Continuation-Based Multiprocessing – Mitchell Wand - 1980