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

Capturing the iccMAX calculatorElement: A Case Study on Format Design., , , , , , , , and . SP (Workshops), page 176-197. IEEE, (2022)A formal specification of the Haskell 98 module system., , and . Haskell, page 17-28. ACM, (2002)Macaw: A Machine Code Toolbox for the Busy Binary Analyst., , , , , , , , , and 4 other author(s). CoRR, (2024)Improving Haskell types with SMT.. Haskell, page 1-10. ACM, (2015)High-level views on low-level representations., , and . ICFP, page 168-179. ACM, (2005)Language and program design for functional dependencies., and . Haskell, page 87-98. ACM, (2008)Efficient lookup-table protocol in secure multiparty computation., , , and . ICFP, page 189-200. ACM, (2012)Daedalus: Safer Document Parsing., , , , , , , and . Proc. ACM Program. Lang., 8 (PLDI): 816-840 (2024)Strongly typed memory areas programming systems-level data structures in a functional language., and . Haskell, page 72-83. ACM, (2006)Dependently typed Haskell in industry (experience report)., , , , and . Proc. ACM Program. Lang., 3 (ICFP): 100:1-100:16 (2019)