Thielecke, Hayo - School of Computer Science, University of Birmingham

Advanced Search

Thielecke, Hayo - School of Computer Science, University of Birmingham

Answer Type Polymorphism in Call-by-name Continuation Passing
, , 1--8 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Extracting the Range of cps from Affine Typing Extended Abstract
Comparing Control Constructs by Typing Doublebarrelled CPS Transforms
Closed Freyd and categories John Power 1? and Hayo Thielecke 2??
Electronic Notes in Theoretical Computer Science 6 (1997) URL: http://www.elsevier.nl/locate/entcs/volume6.html 17 pages
Modelling environments in call-by-value programming languages
Linear Continuation-Passing Josh Berdine and Peter O'Hearn
Typed Exceptions and Continuations Cannot MacroExpress Each Other
From Control Effects to Typed Continuation Passing Hayo Thielecke
, , 1--28 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Linearly Used Continuations Josh Berdine Peter W. O'Hearn
A Type-theoretic Reconstruction of the Visitor Peter Buchlovsky 1
Contrasting Exceptions and Continuations Hayo Thielecke
On Exceptions versus Continuations in the Presence of State
Comparing Control Constructs by Double-barrelled CPS Hayo Thielecke
A proposed categorical semantics for ML modules
Logic Column 8 Column Editor: Jon G. Riecke
Frame Rules from Answer Types for Code Pointers Hayo Thielecke
Frame Rules from Answer Types for Code Hayo Thielecke
Reasoning about B+ Trees with Operational Semantics and Separation Logic
Reasoning about B+ Trees with Operational Semantics and Separation Logic
ZU064-05-FPR modal-control 3 December 2007 14:29 Under consideration for publication in J. Functional Programming 1
On the call-by-value CPS transform and its semantics Carsten Fuhrmann
Comparing Control Constructs by Typing Double-barrelled CPS Transforms
Submitted to: Regular expression matching and operational semantics
Regular expression matching and operational Hayo Thielecke