( en | de | ru )

 

Disambiguation of "Thielecke, Hayo"

Author of the publication

copydeleteadd this publication to your clipboard
Continuations, functions and jumps.

. SIGACT News, 30 (2): 33-42 (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert Hayo

Susanna Thielecke

Frank Thielecke

Reinhard Thielecke

Ingeburg Thielecke

 

Other publications of authors with the same name

Functional semantics of parsing actions, and left recursion elimination as continuation passing.. PPDP, page 91-102. ACM, (2012)Editorial., and . High. Order Symb. Comput., 20 (4): 337-338 (2007)A Proposed Categorical Semantics for ML Modules., and . Category Theory and Computer Science, volume 953 of Lecture Notes in Computer Science, page 240-252. Springer, (1995)An Introduction to Landin's Ä Generalization of Jumps and Labels".. High. Order Symb. Comput., 11 (2): 117-123 (1998)From control effects to typed continuation passing.. POPL, page 139-149. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.Comparing Control Constructs by Double-barrelled CPS Transforms.. MFPS, volume 45 of Electronic Notes in Theoretical Computer Science, page 433-447. Elsevier, (2001)Command injection attacks, continuations, and the Lambek calculus.. WoC, volume 212 of EPTCS, page 81-96. (2015)Frame rules from answer types for code pointers.. POPL, page 309-319. ACM, (2006)Environments, Continuation Semantics and Indexed Categories., and . TACS, volume 1281 of Lecture Notes in Computer Science, page 391-414. Springer, (1997)On Exceptions Versus Continuations in the Presence of State.. ESOP, volume 1782 of Lecture Notes in Computer Science, page 397-411. Springer, (2000)