Uniqueness Typing Simplified

Cached

Download Links

by Edsko De Vries , Rinus Plasmeijer , David M Abrahamson
Citations:4 - 0 self

Active Bibliography

1 QML: Explicit First-Class Polymorphism for ML – Claudio V. Russo, Dimitrios Vytiniotis
Introduction to Type Theory – Erik Barendsen - 2005
3 D.: Uniqueness typing redefined – Edsko De Vries, Rinus Plasmeijer, David Abrahamson - 2006
FPH: First-class polymorphism for Haskell -- Extended Version – Dimitrios Vytiniotis - 2008
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
59 Quasi-Linear Types – Naoki Kobayashi - 1999
11 A Type Based Sharing Analysis for Update Avoidance and Optimisation – Jörgen Gustavsson - 1998
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
38 Once Upon a Polymorphic Type – Keith Wansbrough, Simon Peyton Jones - 1998
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
1 Equality based uniqueness typing – Edsko De Vries, Rinus Plasmeijer, David M Abrahamson - 2007
AspectML: . . . functional programming language – Daniel Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich - 2008
and – Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
5 Recasting ML^F – Didier Le Botlan, Didier Rémy - 2007
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
3 Stateful Contracts for Affine Types ∗ – Jesse A. Tov, Riccardo Pucella
1 Objects to unify type classes and GADTs – Bruno C. D. S. Oliveira, Martin Sulzmann
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009