Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- (1997)

Cached

Download Links

by Chih-ping Chen , Paul Hudak
Venue:In Proc. Symp. POPL '97, ACM
Citations:13 - 0 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
34 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
1312 Monads for functional programming – Philip Wadler - 1995
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
19 A linear functional language РS Holmstr̦m - 1988
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
930 Categories for the Working Mathematician – S Mac Lane - 1971
7 A "Linear Logic" Quicksort – Henry G. Baker - 1994
40 Syntactic Control of Interference Revisited – P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent - 1995
19 Equations for Defining Poly-time Functions – Voukko-Helena Caseiro - 1997
77 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
616 Light Linear Logic – Jean-yves Girard
131 On the syntactic control of interference – J Reynolds - 1978
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
29 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
69 Linear Types and Non-Size-Increasing Polynomial Time Computation – Martin Hofmann - 1998