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

Variance and Generalized Constraints for C# Generics., , , and . ECOOP, volume 4067 of Lecture Notes in Computer Science, page 279-303. Springer, (2006)First-Class Structures for Standard ML.. ESOP, volume 1782 of Lecture Notes in Computer Science, page 336-350. Springer, (2000)Non-dependent Types for Standard ML Modules.. PPDP, volume 1702 of Lecture Notes in Computer Science, page 80-97. Springer, (1999)Types for modules.. University of Edinburgh, UK, (1998)British Library, EThOS.Generalized algebraic data types and object-oriented programming., and . OOPSLA, page 21-40. ACM, (2005)Pause 'n' Play: Formalizing Asynchronous C#., , , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 233-257. Springer, (2012)The Joins Concurrency Library.. PADL, volume 4354 of Lecture Notes in Computer Science, page 260-274. Springer, (2007)Scalable join patterns., and . OOPSLA, page 575-594. ACM, (2011)Recursive Structures for Standard ML.. ICFP, page 50-61. ACM, (2001)SIGPLAN Notices 36(10), October 2001.Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion., , and . HOOTS, volume 41 of Electronic Notes in Theoretical Computer Science, page 70-88. Elsevier, (2000)