Searching for authors named Hayo Thielecke – sorted by Relevance.
-
Continuation Semantics and Self-adjointness
- ://www.elsevier.nl/locate/entcs/volume6.html 17 pages Continuation Semantics and Self-adjointness Hayo Thielecke LFCS, Department
- Cited by 7 (2 self) – Add To MetaCart
-
Answer type polymorphism in call-by-name continuation passing
- Answer Type Polymorphism in Call-by-name Continuation Passing Hayo Thielecke School of Computer
- Cited by 6 (0 self) – Add To MetaCart
-
On Exceptions versus Continuations in the Presence of State
- On Exceptions versus Continuations in the Presence of State Hayo Thielecke ? ht
- Cited by 11 (3 self) – Add To MetaCart
-
From Control Effects to Typed Continuation Passing
- From Control Effects to Typed Continuation Passing Hayo Thielecke School of Computer Science
- Cited by 12 (1 self) – Add To MetaCart
-
Comparing Control Constructs by Typing Double-barrelled CPS Transforms
- Copyright 2000 ACM 0-89791-88-6/97/05 ..$5.00 Hayo Thielecke ∗ School of Computer Science University
- Cited by 7 (2 self) – Add To MetaCart
-
Comparing Control Constructs by Double-barrelled CPS
- Comparing Control Constructs by Double-barrelled CPS ∗ Hayo Thielecke (h
- Cited by 13 (3 self) – Add To MetaCart
-
Contrasting Exceptions and Continuations
- Contrasting Exceptions and Continuations Hayo Thielecke H.Thielecke@(email omitted); School
- Cited by 3 (0 self) – Add To MetaCart
-
An Introduction to Landin's "A Generalization of Jumps and Labels "
- , , 1--8 () c fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. HAYO
- Cited by 7 (2 self) – Add To MetaCart
-
Continuation Passing Style and Self-Adjointness
- Continuation passing style and self-adjointness Hayo Thielecke LFCS, University of Edinburgh ht
- Cited by 3 (2 self) – Add To MetaCart
-
Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc
- continuation twice and its implications for the expressive power of call/cc HAYO THIELECKE ht
- Cited by 10 (3 self) – Add To MetaCart

