Author of the publication

Probabilistic Programs as Spreadsheet Queries.

, , , , , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 1-25. Springer, (2015)

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

First-Class Structures for Standard ML.. ESOP, volume 1782 of Lecture Notes in Computer Science, page 336-350. Springer, (2000)Variance and Generalized Constraints for C# Generics., , , and . ECOOP, volume 4067 of Lecture Notes in Computer Science, page 279-303. Springer, (2006)Non-dependent Types for Standard ML Modules.. PPDP, volume 1702 of Lecture Notes in Computer Science, page 80-97. Springer, (1999)Generalized algebraic data types and object-oriented programming., and . OOPSLA, page 21-40. ACM, (2005)Types for modules.. University of Edinburgh, UK, (1998)British Library, EThOS.Scalable join patterns., and . OOPSLA, page 575-594. ACM, (2011)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)Recursive Structures for Standard ML.. ICFP, page 50-61. ACM, (2001)SIGPLAN Notices 36(10), October 2001.Parallel concurrent ML., , and . ICFP, page 257-268. ACM, (2009)