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

Modular Visitor Components.. ECOOP, volume 5653 of Lecture Notes in Computer Science, page 269-293. Springer, (2009)Extensibility for the Masses - Practical Extensibility with Object Algebras., and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 2-27. Springer, (2012)Castor: Programming with extensible generative visitors., and . Sci. Comput. Program., (2020)EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)., and . Dagstuhl Artifacts Ser., 3 (2): 10:1-10:2 (2017)A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)., and . Dagstuhl Artifacts Ser., 6 (2): 09:1-09:4 (2020)Consistent Subtyping for All., , , and . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)Disjoint Polymorphism., , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 1-28. Springer, (2017)Distributing intersection and union types with splits and duality (functional pearl)., and . Proc. ACM Program. Lang., 5 (ICFP): 1-24 (2021)The Duality of Subtyping (Artifact)., , and . Dagstuhl Artifacts Ser., 6 (2): 08:1-08:6 (2020)A dependently typed calculus with polymorphic subtyping., and . Sci. Comput. Program., (2021)