|
22
|
Observers for Linear Types
– Martin Odersky
- 1992
|
|
8
|
Syntactic Detection of Single-Threading using Continuations
– Pascal Fradet
- 1991
|
|
77
|
Once Upon a Type
– David Turner, Philip Wadler, Christian Mossin
- 1995
|
|
122
|
Linear Types Can Change the World!
– Philip Wadler
- 1990
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
17
|
Linearity and Laziness
– David Wakeling, Colin Runciman
- 1990
|
|
|
March 1991
– Ar Ch, Philip Wadler
- 1991
|
|
85
|
Is there a use for linear logic?
– Philip Wadler
- 1991
|
|
|
A Data Structure for More Efficient . . .
– Melissa Elizabeth O’Neill
- 1994
|
|
14
|
Shallow Binding Makes Functional Arrays Fast
– Henry G. Baker
- 1991
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
|
22
|
Proving Memory Management Invariants for a Language Based on Linear Logic
– Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
- 1992
|
|
|
Interprocedural Pointer Alias Analysis
– Paul R. Carini, Michael Burke, Michael Burke, Paul Carini, Jong-deok Choi, Jong-deok Choi, Michael Hind, Michael Hind
- 1997
|
|
89
|
Interprocedural Pointer Alias Analysis
– Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
- 1999
|
|
10
|
Control-Flow Analysis of Functional Programs
– Jan Midtgaard
- 2007
|
|
32
|
Reference Counting as a Computational Interpretation of Linear Logic
– Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
- 1996
|
|
11
|
Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming
– Tyng-Ruey Chuang, Benjamin Goldberg
- 1993
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
91
|
Putting Pointer Analysis to Work
– Rakesh Ghiya, Laurie J. Hendren
- 1998
|
