# Don Syme

Affiliations:- Microsoft Research, Cambridge, UK
- University of Cambridge, UK (PhD 1999)

According to our database

Collaborative distances:

^{1}, Don Syme authored at least 29 papers between 1993 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2022

CoRR, 2022

2020

Proc. ACM Program. Lang., 2020

2016

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

A Live, Multiple-Representation Probabilistic Programming Environment for Novices.

Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015

Proceedings of the Federated Computing Research Conference, 2015

2014

Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

Proceedings of the Practical Aspects of Declarative Languages, 2014

2013

Themes in information-rich functional programming for internet-scale data sources.

Proceedings of the 2013 Workshop on Data Driven Functional Programming, 2013

2011

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

Proceedings of the Practical Aspects of Declarative Languages, 2011

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.

Proceedings of the Practical Aspects of Declarative Languages, 2011

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Proceedings of the 9th International Symposium on Memory Management, 2010

2007

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.

Electron. Notes Theor. Comput. Sci., 2006

Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution.

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2005

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

2004

Transposing F to C<sup>#</sup>: expressivity of parametric polymorphism in an object-oriented language.

Concurr. Pract. Exp., 2004

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2002

Proceedings of the Logic for Programming, 2002

2001

Electron. Notes Theor. Comput. Sci., 2001

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

1999

PhD thesis, 1999

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Proceedings of the Formal Syntax and Semantics of Java, 1999

1995

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993