Documents Related by Co-Citation

238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
109 Algebraic Reconstruction of Types and Effects – Pierre Jouvelot, David K. Gifford - 1991
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
939 A theory of type polymorphism in programming – Robin Milner - 1978
7 Uday Reddy, and Hayo Thielecke. Linear continuation passing – Josh Berdine, Peter W O’Hearn - 2002
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
326 Theorems for free! – Philip Wadler - 1989
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
6 How to declare an imperative (invited talk – P Wadler - 1995