Parametricity and Unboxing with Unpointed Types (1996)

Cached

Download Links

by John Launchbury , Ross Paterson
Citations:22 - 2 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
326 Theorems for free! – Philip Wadler - 1989
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
363 Towards a theory of type structure – J C Reynolds - 1974
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
86 Polymorphic Type Inference – D Leivant - 1983
28 Interprétation functionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
16 Bidirectionalization for free – J Voigtländer - 2009
17 A generalization of short-cut fusion and its correctness proof – P Johann
19 Bridging the gulf: a common intermediate language for ML and Haskell – Simon Peyton Jones, John Launchbury, Mark Shields, Andrew Tolmach - 1998
6 On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi – P Johann - 2005
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
5 Taming Selective Strictness – Daniel Seidel, Janis Voigtländer
131 Contraction-free sequent calculi for intuitionistic logic – R Dyckhoff - 1992
5 Ado about Two – A Pearl on Parallel Prefix Computation – Much - 2008