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

Functional programming, object-oriented programming and algebras!. WGP@ICFP, page 1. ACM, (2014)Feature-Oriented Programming with Object Algebras., , , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 27-51. Springer, (2013)Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations., , and . Proc. ACM Program. Lang., 7 (POPL): 893-920 (January 2023)Compositional embeddings of domain-specific languages., , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 175-203 (2022)Direct Foundations for Compositional Programming (Artifact)., , , , and . Dagstuhl Artifacts Ser., 8 (2): 04:1-04:3 (2022)Kind inference for datatypes., , and . Proc. ACM Program. Lang., 4 (POPL): 53:1-53:28 (2020)Recursive Subtyping for All., , and . Proc. ACM Program. Lang., 7 (POPL): 1396-1425 (January 2023)Unifying typing and subtyping., and . Proc. ACM Program. Lang., 1 (OOPSLA): 47:1-47:26 (2017)Scalable problem localization for distributed systems: principles and practices., , , and . Infoscale, volume 304 of ACM International Conference Proceeding Series, page 76. ACM, (2007)Distributive Disjoint Polymorphism for Compositional Programming., , , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 381-409. Springer, (2019)