Categorical Structure of Continuation Passing Style (1997) [49 citations — 3 self]
Download:
http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-9
http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-9
CACHED:
|
http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-9
http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-9
CACHED:
|
by
Hayo Thielecke
,
Alan Paxton
,
Andy Pitts
,
Jon Riecke
,
David N. Turner
,
Phil Wadler
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Thielecke97categoricalstructure,
author = {Hayo Thielecke and Alan Paxton and Andy Pitts and Jon Riecke and David N. Turner and Phil Wadler},
title = {Categorical Structure of Continuation Passing Style},
year = {1997}
}
author = {Hayo Thielecke and Alan Paxton and Andy Pitts and Jon Riecke and David N. Turner and Phil Wadler},
title = {Categorical Structure of Continuation Passing Style},
year = {1997}
}
Bookmarks
OpenURL
Abstract:
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS).
Citations
| 13 | On bisimulations for the asynchronous pi-calculus – Amadio, Castellani, et al. - 1996 |
