Author of the publication

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems.

, , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 516-543 (October 2023)

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

Practical static analysis of JavaScript applications in the presence of frameworks and libraries., , and . ESEC/SIGSOFT FSE, page 499-509. ACM, (2013)Modeling the HTML DOM and browser API in static analysis of JavaScript web applications., , and . SIGSOFT FSE, page 59-69. ACM, (2011)Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints., , and . ECOOP, volume 263 of LIPIcs, page 31:1-31:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Semantics for the Essence of React., , and . ECOOP, volume 166 of LIPIcs, page 12:1-12:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Safe and sound program analysis with Flix., and . ISSTA, page 38-48. ACM, (2018)Finding Broken Promises in Asynchronous JavaScript Programs, , , and . Proc. ACM Program. Lang., 2 (OOPSLA): 162:1--162:26 (October 2018)Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems., , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 516-543 (October 2023)The Principles of the Flix Programming Language.. Onward!, page 112-127. ACM, (2022)Flix: A Meta Programming Language for Datalog., , and . Datalog, volume 3203 of CEUR Workshop Proceedings, page 202-206. CEUR-WS.org, (2022)A model for reasoning about JavaScript promises., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 86:1-86:24 (2017)