Uniqueness Typing Simplified

Cached

Download Links

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

Documents Related by Co-Citation

18 A step-indexed model of substructural state – Amal Ahmed - 2005
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
113 Language support for fast and reliable messagebased communication in Singularity OS – Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, Steven Levi - 2006
15 2010 Language Report – Haskell - 2010
40 Henk: A Typed Intermediate Language – Simon Peyton Jones, Erik Meijer - 1997
75 System F with type equality coercions – Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly - 2007
529 Perspectives on Program Analysis – Flemming Nielson - 1996
123 98 Language and Libraries: The Revised Report – Haskell - 2003
5 An External Representation for the GHC Core Language – Andrew Tolmach - 2001
7 Clean Language Report -- Version 2.1 – Rinus Plasmeijer, Marko van Eekelen - 2002
1 The Definition of Standard ML. MIT, revised edition – R Milner, M Tofte, R Harper, D MacQueen - 1997
46 On Intuitionistic Linear Logic – G M Bierman - 1994
3 Stateful Contracts for Affine Types ∗ – Jesse A. Tov, Riccardo Pucella
2 Higher order subtyping – Benjamin C Pierce, Martin Steffen - 1997
88 Is there a use for linear logic? – Philip Wadler - 1991
49 The Objective Caml System – X Leroy
12 Flexible types: robust type inference for first-class polymorphism – Daan Leijen - 2009
69 Types for Modules – Claudio V. Russo - 1998