( 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

Frank Thielecke

Susanna Thielecke

Ingeburg Thielecke

Reinhard Thielecke

 

Other publications of authors with the same name

Editorial., and . High. Order Symb. Comput., 20 (4): 337-338 (2007)Functional semantics of parsing actions, and left recursion elimination as continuation passing.. PPDP, page 91-102. ACM, (2012)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)Continuations, functions and jumps.. SIGACT News, 30 (2): 33-42 (1999)Typed Exeptions and Continuations Cannot Macro-Express Each Other., and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 635-644. Springer, (1999)