Don Syme

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Gradients without Backpropagation.

Atilim Günes Baydin, Barak A. Pearlmutter, Don Syme, Frank Wood, Philip H. S. Torr

CoRR, 2022

2020

The early history of F#.

Don Syme

Proc. ACM Program. Lang., 2020

2016

Types from data: making structured data first-class citizens in F#.

Tomas Petricek, Gustavo Guerra, Don Syme

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

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

Maria I. Gorinova, Advait Sarkar, Alan F. Blackwell, Don Syme

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

2015

The F# Path to Relaxation.

Don Syme

Proceedings of the Federated Computing Research Conference, 2015

2014

In the Age of Web: Typed Functional-First Programming Revisited.

Tomas Petricek, Don Syme, Zach Bray

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

The F# Computation Expression Zoo.

Tomas Petricek, Don Syme

Proceedings of the Practical Aspects of Declarative Languages, 2014

2013

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

Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek

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

2011

Browser-based software for technology transfer.

Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie

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

The F# Asynchronous Programming Model.

Don Syme, Tomas Petricek, Dmitry Lomov

Proceedings of the Practical Aspects of Declarative Languages, 2011

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

Tomas Petricek, Don Syme

Proceedings of the Practical Aspects of Declarative Languages, 2011

Extending monads with pattern matching.

Tomas Petricek, Alan Mycroft, Don Syme

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

2010

Collecting hollywood's garbage: avoiding space-leaks in composite events.

Tomas Petricek, Don Syme

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

2007

Extensible pattern matching via a lightweight language extension.

Don Syme, Gregory Neverov, James Margetson

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.

Don Syme

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

2005

An industrially effective environment for formal hardware verification.

Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme

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

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.

Don Syme

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

2004

Transposing F to C^#: expressivity of parametric polymorphism in an object-oriented language.

Andrew Kennedy, Don Syme

Concurr. Pract. Exp., 2004

Formalization of generics for the .NET common language runtime.

Dachuan Yu, Andrew Kennedy, Don Syme

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.

Don Syme, Andrew D. Gordon

Proceedings of the Logic for Programming, 2002

2001

ILX: Extending the .NET Common IL for Functional Language Interoperability.

Don Syme

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Typing a multi-language intermediate code.

Andrew D. Gordon, Don Syme

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.

Andrew Kennedy, Don Syme

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

1999

Declarative theorem proving for operational semantics.

Donald Robert Syme

PhD thesis, 1999

Three Tactic Theorem Proving.

Don Syme

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

Proving Java Type Soundness.

Don Syme

Proceedings of the Formal Syntax and Semantics of Java, 1999

1995

A New Interface for HOL - Ideas, Issues and Implementation.

Don Syme

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

A Theory of Finite Maps.

Graham Collins, Don Syme

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

1993

Reasoning with the Formal Definition of Standard ML in HOL.

Don Syme

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