|
4
|
An External Representation for the GHC Core Language
– Andrew Tolmach
- 2001
|
|
11
|
2010 Language Report
– Haskell
|
|
37
|
Henk: A Typed Intermediate Language
– Simon Peyton Jones, Erik Meijer
- 1997
|
|
458
|
Perspectives on Program Analysis
– Flemming Nielson
- 1996
|
|
100
|
98 language and libraries: the Revised Report
– Haskell
- 2003
|
|
57
|
System F with type equality coercions
– Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly
- 2007
|
|
1
|
Ejlers Møgelberg, and Rasmus Lerchedahl Petersen. Category-theoretic models of Linear Abadi
– Lars Birkedal, Rasmus
|
|
8
|
Type Theories, Semantics and Action Calculi
– Linear
- 1997
|
|
7
|
de Paiva. A term calculus for intuitionistic linear logic
– P N Benton, G M Bierman, J M E Hyland, V C V
- 1993
|
|
83
|
A Type System for Expressive Security Policies
– David Walker
- 2000
|
|
24
|
Safe Programming with Pointers through Stateful Views
– Dengping Zhu, Hongwei Xi
- 2005
|
|
26
|
Experience with safe manual memory-management in cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2004
|
|
4
|
Program equivalence in a linear functional language
– G M Bierman
|
|
3
|
Lightweight monadic regions
– Oleg Kiselyov, Chung-chieh Shan
- 2008
|
|
43
|
Operational Aspects of Linear Lambda Calculus
– Patrick Lincoln, John Mitchell
- 1992
|
|
24
|
There's No Substitute for Linear Logic
– Philip Wadler
- 1991
|
|
33
|
Once Upon a Polymorphic Type
– Keith Wansbrough, Simon Peyton Jones
- 1998
|
|
33
|
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
– G.M. Bierman, A. M. Pitts, C. V. Russo
|
|
15
|
A step-indexed model of substructural state
– Amal Ahmed
- 2005
|
