Recycling Continuations (1998)

Cached

Download Links

by Jonathan Sobel , Daniel P. Friedman
Citations:42 - 1 self

Active Bibliography

unknown title – Recycling Continuations, Jonathan Sobel, Daniel P. Friedman\lambda
459 Comprehending Monads – Philip Wadler - 1992
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
333 Theorems for free! – Philip Wadler - 1989
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
59 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000