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

FARM 2018 demo summary., and . FARM@ICFP, page 38-39. ACM, (2018)Making induction meaningful, recursively (abstract only)., and . SIGCSE, page 737. ACM, (2014)Giving Haskell a promotion, , , , , and . Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12, page 53--66. New York, NY, USA, ACM Press, (2012)How to twist pointers without breaking them., , and . Haskell, page 51-61. ACM, (2016)Polynomial Functors Constrained by Regular Expressions., and . MPC, volume 9129 of Lecture Notes in Computer Science, page 113-136. Springer, (2015)Disco: A Functional Programming Language for Discrete Mathematics.. TFPIE, volume 382 of EPTCS, page 64-81. (2023)What's the difference? a functional pearl on subtracting bijections., and . Proc. ACM Program. Lang., 2 (ICFP): 101:1-101:21 (2018)Binders unbound., , and . ICFP, page 333-345. ACM, (2011)Monoids: theme and variations (functional pearl).. Haskell, page 105-116. ACM, (2012)Diagrams: a functional EDSL for vector graphics., and . FARM@ICFP, page 4-5. ACM, (2015)