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

88 Is there a use for linear logic? – Philip Wadler - 1991
92 The linear abstract machine – Yves Lafont - 1988
456 Comprehending Monads – Philip Wadler - 1992
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
163 Interaction nets – Y Lafont - 1990
1312 Monads for functional programming – Philip Wadler - 1995
67 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
38 Assignments for applicative languages – Vipin Swarup, Uday S. Reddy, Evan Ireland, Palmerston North - 1991
134 Linear Types Can Change the World! – Philip Wadler - 1990
127 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 Marti-Oliet, J Meseguer - 1991
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
225 I-Structures: Data Structures for Parallel Computing – Arvind Rishiyur Nikhil, Rishiyur S. Nikhil Y (mit - 1989
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
121 Efficient Compilation of Lazy Evaluation – Thomas Johnsson - 1984