Author of the publication

Conflation Confers Concurrency.

, , and . A List of Successes That Can Change the World, volume 9600 of Lecture Notes in Computer Science, page 32-55. Springer, (2016)

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

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript., , , and . ECOOP, volume 74 of LIPIcs, page 28:1-28:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Soundly Handling Linearity., , , and . Proc. ACM Program. Lang., 8 (POPL): 1600-1628 (January 2024)A Type-Based Approach to Divide-and-Conquer Recursion in Coq., , , , , and . Proc. ACM Program. Lang., 7 (POPL): 61-90 (January 2023)Constrained type families., and . Proc. ACM Program. Lang., 1 (ICFP): 42:1-42:28 (2017)A simple semantics for Haskell overloading.. Haskell, page 107-118. ACM, (2014)Partial type constructors in practice., , and . Haskell, page 95-107. ACM, (2022)A Simple Semantics for Haskell Overloading.. CoRR, (2016)Partial type constructors: or, making ad hoc datatypes less ad hoc., , and . Proc. ACM Program. Lang., 4 (POPL): 40:1-40:28 (2020)Instance chains: type class programming without overlapping instances., and . ICFP, page 375-386. ACM, (2010)Exceptional asynchronous session types: session types without tiers., , , and . Proc. ACM Program. Lang., 3 (POPL): 28:1-28:29 (2019)