From post

Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

. Engineering theories of software construction, стр. 47--96. Press, (2001)

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.

 

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

Aspect-Oriented Compilers, , и . Lecture Notes in Computer Science, (2000)Composable Memory Transactions, , , и . Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, стр. 48--60. New York, NY, USA, ACM, (2005)Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. Engineering theories of software construction, стр. 47--96. Press, (2001)A quick look at impredicativity., , , и . Proc. ACM Program. Lang., 4 (ICFP): 89:1-89:29 (2020)Template meta-programming for Haskell., и . Haskell, стр. 1-16. ACM, (2002)Haskell 98 language and libraries : the revised report. Cambridge University Press, Cambridge U.K. ;;New York, (2003)Compilation by Transformation in the Glasgow Haskell Compiler., и . Functional Programming, стр. 184-204. Springer, (1994)Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation., , , , , и . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming., , , , , , , и . Proc. ACM Program. Lang., 7 (ICFP): 417-447 (августа 2023)Simultaneous Missing Value Imputation and Structure Learning with Groups., , , , , , , и . NeurIPS, (2022)