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

Higher-Order Subtyping., and . PROCOMET, volume A-56 of IFIP Transactions, page 511-530. North-Holland, (1994)XTATIC., , , and . PLAN-X, page 88. BRICS, Department of Computer Science, University of Aarhus, (2006)Bounded Quantification is Undecidable.. POPL, page 305-315. ACM Press, (1992)Positive Subtyping., and . POPL, page 186-197. ACM Press, (1995)A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice., , and . PLAN-X, page 80-90. (2007)Advanced Topics in Types and Programming Languages. MIT Press, 1 edition, (Dec 23, 2005)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , and . CoRR, (2018)Pict: a programming language based on the Pi-Calculus., and . Proof, Language, and Interaction, page 455-494. The MIT Press, (2000)Local type inference, and . ACM Trans. Program. Lang. Syst., 22 (1): 1-44 (January 2000)Basic category theory for computer scientists.. Foundations of computing MIT Press, (1991)