Recycling Continuations (1998)

Cached

Download Links

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

Active Bibliography

DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
28 Polytypic Pattern Matching – Johan Jeuring - 1995
Representing Contractive Functions on Streams (Extended Version) – Graham Hutton - 2011
The Under-Performing Unfold A new approach to optimising corecursive programs – Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
1 Representing Contractive Functions on Streams – Graham Hutton - 2011
12 Proof Methods for Structured Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
5 Tree Pattern Matching for ML (Extended Abstract) – Marianne Baudinet, Marianne Baudinet, David Macqueen, David Macqueen - 1985
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
20 Abstract machines for programming language implementation – Stephan Diehl, Pieter Hartel, Peter Sestoft - 2000
1 Out-of-core Functional Programming with Type-based Primitives – Tyng-Ruey Chuang, Shin-Cheng Mu - 2000
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
96 How to Declare an Imperative – Philip Wadler - 1995
Why Automatic Transformation Matters – Ogi
Towards a Theory of Moa – Maarten Fokkinga - 2000
Factorising Folds for Faster Functions (Extended Version) – Graham Hutton, MAURO JASKELIOFF, Andy Gill