Once Upon a Polymorphic Type (1998)

Cached

Download Links

by Keith Wansbrough , Simon Peyton Jones
Citations:37 - 5 self

Active Bibliography

In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
A Functional Representation of Data Structures with a Hole – Yasuhiko Minamide Research, Yasuhiko Minamide - 1998
13 A Usage Analysis With Bounded Usage Polymorphism and Subtyping – Jörgen Gustavsson, Josef Svenningsson - 2000
Towards a Scalable Update Avoidance Analysis – Jörgen Gustavsson, Josef Svenningsson - 2000
Languages, Performance – Maximilian C. Bolingbroke, Simon L. Peyton Jones
2 Types are Calling Conventions – Maximilian C. Bolingbroke, Simon L. Peyton Jones - 2009
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
6 Possibilities and limitations of call-by-need space improvement – Jörgen Gustavsson - 2001
6 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
38 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
27 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
11 A Type Based Sharing Analysis for Update Avoidance and Optimisation – Jörgen Gustavsson - 1998
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
55 Compiling Haskell by program transformation: a report from the trenches – Simon L. Peyton Jones - 1996
82 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, André L M Santos - 1998
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002