Author of the publication

A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).

, and . Dagstuhl Artifacts Ser., 6 (2): 09:1-09:4 (2020)

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

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations., , and . Proc. ACM Program. Lang., 7 (POPL): 893-920 (January 2023)Direct Foundations for Compositional Programming (Artifact)., , , , and . Dagstuhl Artifacts Ser., 8 (2): 04:1-04:3 (2022)A Type-Directed Operational Semantics For a Calculus with a Merge Operator., and . ECOOP, volume 166 of LIPIcs, page 26:1-26:32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Union Types with Disjoint Switches (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 17:1-17:6 (2022)Taming the Merge Operator., , and . J. Funct. Program., (2021)Direct Foundations for Compositional Programming., , , , and . ECOOP, volume 222 of LIPIcs, page 18:1-18:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)., and . Dagstuhl Artifacts Ser., 6 (2): 09:1-09:4 (2020)Distributing intersection and union types with splits and duality (functional pearl)., and . Proc. ACM Program. Lang., 5 (ICFP): 1-24 (2021)Union Types with Disjoint Switches., , , and . ECOOP, volume 222 of LIPIcs, page 25:1-25:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈., , , and . Proc. ACM Program. Lang., 7 (POPL): 515-543 (January 2023)