Linearity and Laziness (1990)

Cached

Download Links

by David Wakeling , Colin Runciman
Venue:In Proc. 5-th ACM Conference on Functional Programming Languages and Computer
Citations:17 - 1 self

Active Bibliography

23 Observers for Linear Types – Martin Odersky - 1992
458 Comprehending Monads – Philip Wadler - 1992
March 1991 – Ar Ch, Philip Wadler - 1991
89 Is there a use for linear logic? – Philip Wadler - 1991
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
8 Implementing the Evaluation Transformer Model of Reduction on Parallel Machines – G. L. Burn - 1991
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
35 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
13 Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterst├╝tzung shape-invarianter Array-Operationen – Sven-Bodo Scholz - 1996
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
7 Deterministic Concurrency – David Paul Carter - 1993
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
27 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
97 How to Declare an Imperative – Philip Wadler - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992