Author of the publication

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.

 

Other publications of authors with the same name

Asynchronous Exceptions as an Effect., , , and . MPC, volume 5133 of Lecture Notes in Computer Science, page 153-176. Springer, (2008)Type-safe observable sharing in Haskell.. Haskell, page 117-128. ACM, (2009)Composable network stacks and remote monads., , and . Haskell, page 86-97. ACM, (2017)Introducing the Haskell equational reasoning assistant.. Haskell, page 108-109. ACM, (2006)Avoiding Unnecessary Updates., , , , , and . Functional Programming, page 144-153. Springer, (1992)Handshaking in Kansas Lava Using Patch Logic., and . PADL, volume 7149 of Lecture Notes in Computer Science, page 212-226. Springer, (2012)On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages., , and . PADL, volume 12548 of Lecture Notes in Computer Science, page 20-36. Springer, (2021)AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract.. RWDSL@CGO, page 4. ACM, (2017)Rewriting a shallow DSL using a GHC compiler extension., , and . GPCE, page 246-258. ACM, (2017)Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language., and . Trends in Functional Programming, volume 6546 of Lecture Notes in Computer Science, page 150-165. Springer, (2010)