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
362 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
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
85 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
17 A generalization of short-cut fusion and its correctness proof – P Johann
325 Denotational Semantics: A Methodology for Language Development – D A Schmidt - 1986
19 Bridging the gulf: a common intermediate language for ML and Haskell – Simon Peyton Jones, John Launchbury, Mark Shields, Andrew Tolmach - 1998
361 Towards a theory of type structure, in – J C Reynolds - 1974
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
5 Ado about Two – A Pearl on Parallel Prefix Computation – Much - 2008
16 Bidirectionalization for free – J Voigtländer - 2009
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
90 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
3 Completeness for typed lazy inequalities – S Cosmadakis, A Meyer, J Riecke - 1990
6 On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi – P Johann - 2005