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)Lazy Funtional State Threads: An Abstract., и . ICLP, стр. 3-5. MIT Press, (1994)On Embedding a Microarchitectural Design Language within Haskell., , и . ICFP, стр. 60-69. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Guilt free ivory., , , , , , , и . Haskell, стр. 189-200. ACM, (2015)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)Structuring Depth-First Search Algorithms in Haskell., и . POPL, стр. 344-354. ACM Press, (1995)A Strongly-Typed Self-Applicable Partial Evaluator.. FPCA, том 523 из Lecture Notes in Computer Science, стр. 145-164. Springer, (1991)Building embedded systems with embedded DSLs., , , , и . ICFP, стр. 3-9. ACM, (2014)