Once Upon a Polymorphic Type (1998)

Cached

Download Links

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

Active Bibliography

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
In submission Higher-Order Cardinality Analysis Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – unknown authors
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice – unknown authors
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
Languages, Performance – Maximilian C. Bolingbroke, Simon L. Peyton Jones
2 Types are Calling Conventions – Maximilian C. Bolingbroke, Simon L. Peyton Jones - 2009
4 Uniqueness Typing Simplified – Edsko De Vries, Rinus Plasmeijer, David M Abrahamson
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
22 A Concurrent Lambda Calculus with Futures – Joachim Niehren, Jan Schwinghammer, Gert Smolka - 2006
29 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
Towards a Scalable Update Avoidance Analysis – Jörgen Gustavsson, Josef Svenningsson - 2000
15 A Usage Analysis With Bounded Usage Polymorphism and Subtyping – Jörgen Gustavsson, Josef Svenningsson - 2000
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