Once Upon a Type (1995)

by David Turner , Philip Wadler , Christian Mossin
Venue:In Functional Programming Languages and Computer Architecture
Citations:81 - 2 self

Documents Related by Co-Citation

180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
134 Linear Types Can Change the World! – Philip Wadler - 1990
38 Once Upon a Polymorphic Type – Keith Wansbrough, Simon Peyton Jones - 1998
59 Quasi-Linear Types – Naoki Kobayashi - 1999
13 Update avoidance analysis by abstract interpretation – S Marlow - 1993
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
88 Is there a use for linear logic? – Philip Wadler - 1991
13 Types for 0, 1 Or Many Uses – Torben Æ. Mogensen, Torben Ae. Mogensen - 1997
127 types can change the world – Linear - 1990
54 Let-Floating: Moving Bindings to Give Faster Programs – Simon Peyton Jones, Will Partain, et al. - 1997
11 A Type Based Sharing Analysis for Update Avoidance and Optimisation – J├Ârgen Gustavsson - 1998
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999