Uniqueness Typing Simplified

Cached

Download Links

by Edsko De Vries , Rinus Plasmeijer , David M Abrahamson
Citations:5 - 1 self

Documents Related by Co-Citation

157 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
361 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
112 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
19 A step-indexed model of substructural state – Amal Ahmed - 2005
5 An External Representation for the GHC Core Language – Andrew Tolmach - 2001
38 Henk: A Typed Intermediate Language – Simon Peyton Jones, Erik Meijer - 1997
73 System F with type equality coercions – Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly - 2007
530 Perspectives on Program Analysis – Flemming Nielson - 1996
125 98 language and libraries: the revised report – Haskell
16 2010 language report – Haskell - 2010
216 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
1119 The Lambda Calculus: Its Syntax and Semantics – H P BARENDREGT - 1984
165 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
42 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
7 Proving ML type soundness within Coq – Catherine Dubois - 2000
84 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
30 Substructural type systems – D WALKER - 2005
26 Sets of independent postulates for the algebra of logic – E V HUNTINGTON - 1904
2 Formalizing constructions of abstract machines for functional languages in Coq – M BIERNACKA, D BIERNACKI - 2007