From post

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.

 

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

Warm Fusion: Deriving Build-Cata's from Recursive Definitions., и . FPCA, стр. 314-323. ACM, (1995)A Natural Semantics for Lazy Evaluation.. POPL, стр. 144-154. ACM Press, (1993)On Embedding a Microarchitectural Design Language within Haskell., , и . ICFP, стр. 60-69. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Lazy Funtional State Threads: An Abstract., и . ICLP, стр. 3-5. MIT Press, (1994)Structuring Depth-First Search Algorithms in Haskell., и . POPL, стр. 344-354. ACM Press, (1995)Industrial Functional Programming.. PADL, том 4902 из Lecture Notes in Computer Science, стр. 1. Springer, (2008)Parametricity and Unboxing with Unpointed Types., и . ESOP, том 1058 из Lecture Notes in Computer Science, стр. 204-218. Springer, (1996)Building embedded systems with embedded DSLs., , , , и . ICFP, стр. 3-9. ACM, (2014)Disposable Memo Functions (Extended Abstract)., и . ICFP, стр. 310. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Monadic State: Axiomatization and Type Safety., и . ICFP, стр. 227-238. ACM, (1997)SIGPLAN Notices 32(8), August 1997.