( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Environments, Continuation Semantics and Indexed Categories.

, и . TACS, том 1281 из Lecture Notes in Computer Science, стр. 391-414. Springer, (1997)

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.

Robert Hayo

Frank Thielecke

Susanna Thielecke

Ingeburg Thielecke

Reinhard Thielecke

 

Другие публикации лиц с тем же именем

Editorial., и . High. Order Symb. Comput., 20 (4): 337-338 (2007)Functional semantics of parsing actions, and left recursion elimination as continuation passing.. PPDP, стр. 91-102. ACM, (2012)A Proposed Categorical Semantics for ML Modules., и . Category Theory and Computer Science, том 953 из Lecture Notes in Computer Science, стр. 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, стр. 139-149. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.Comparing Control Constructs by Double-barrelled CPS Transforms.. MFPS, том 45 из Electronic Notes in Theoretical Computer Science, стр. 433-447. Elsevier, (2001)Command injection attacks, continuations, and the Lambek calculus.. WoC, том 212 из EPTCS, стр. 81-96. (2015)Frame rules from answer types for code pointers.. POPL, стр. 309-319. ACM, (2006)Typed Exeptions and Continuations Cannot Macro-Express Each Other., и . ICALP, том 1644 из Lecture Notes in Computer Science, стр. 635-644. Springer, (1999)Linear Continuation-Passing., , , и . High. Order Symb. Comput., 15 (2-3): 181-208 (2002)