Parametricity and Unboxing with Unpointed Types (1996)

Cached

Download Links

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

Documents Related by Co-Citation

195 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
330 Theorems for free! – Philip Wadler - 1989
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
326 Denotational Semantics: A Methodology For Language Development – David A Schmidt - 1986
364 Towards a theory of type structure – J C Reynolds - 1974
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
582 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998