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
370 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
333 Theorems for free! – Philip Wadler - 1989
366 Towards a theory of type structure – John C Reynolds - 1974
328 Denotational Semantics: A Methodology for Language Development – D A Schmidt - 1986
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998