Don Syme

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


According to our database1, Don Syme authored at least 29 papers between 1993 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Gradients without Backpropagation.
CoRR, 2022

2020
The early history of F#.
Proc. ACM Program. Lang., 2020

2016
Types from data: making structured data first-class citizens in F#.
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
The F# Path to Relaxation.
Proceedings of the Federated Computing Research Conference, 2015

2014
In the Age of Web: Typed Functional-First Programming Revisited.
Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

The F# Computation Expression Zoo.
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
Browser-based software for technology transfer.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

The F# Asynchronous Programming Model.
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

Extending monads with pattern matching.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Collecting hollywood's garbage: avoiding space-leaks in composite events.
Proceedings of the 9th International Symposium on Memory Management, 2010

2007
Extensible pattern matching via a lightweight language extension.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

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
An industrially effective environment for formal hardware verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.
Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

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

Formalization of generics for the .NET common language runtime.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2002
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.
Proceedings of the Logic for Programming, 2002

2001
ILX: Extending the .NET Common IL for Functional Language Interoperability.
Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Typing a multi-language intermediate code.
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Design and Implementation of Generics for the .NET Common Language Runtime.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

1999
Declarative theorem proving for operational semantics.
PhD thesis, 1999

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

Proving Java Type Soundness.
Proceedings of the Formal Syntax and Semantics of Java, 1999

1995
A New Interface for HOL - Ideas, Issues and Implementation.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

A Theory of Finite Maps.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993
Reasoning with the Formal Definition of Standard ML in HOL.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993


  Loading...