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

Documents Related by Co-Citation

89 Is there a use for linear logic? – Philip Wadler - 1991
91 The linear abstract machine – Yves Lafont - 1988
458 Comprehending Monads – Philip Wadler - 1992
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
282 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
163 Interaction nets – Y Lafont - 1990
1312 Monads for functional programming – Philip Wadler - 1995
66 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
56 Detecting global variables in denotational specifications. ACM transactions on programming languages and systems – D A Schmidt - 1985
37 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
135 Linear Types Can Change the World! – Philip Wadler - 1990
128 types can change the world – Linear - 1990
93 M-Structures: Extending a Parallel, Non-strict, Functional Language with State – Paul S. Barth, Paul S. Barth, Arvind, Rishiyur S. Nikhil, Rishiyur S. Nikhil - 1991
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
67 From Petri nets to linear logic – N Martí-Oliet, J Meseguer - 1991
109 Design of the Programming Language Forsythe – John C. Reynolds - 1996
228 I-Structures: Data Structures for Parallel Computing – Arvind Rishiyur Nikhil, Rishiyur S. Nikhil Y (mit - 1989
537 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
122 Efficient Compilation of Lazy Evaluation – Thomas Johnsson - 1984