Don Syme

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 5

Top Topics

Gradient Vector

Semi Structured Data

Programming Environment

Top Venues

Proc. ACM Program. Lang.

Publications

Atilim Günes Baydin, Barak A. Pearlmutter, Don Syme, Frank Wood, Philip H. S. Torr
Gradients without Backpropagation. CoRR (2022)
Don Syme
The early history of F#. Proc. ACM Program. Lang. 4 (HOPL) (2020)
Tomas Petricek, Gustavo Guerra, Don Syme
Types from data: Making structured data first-class citizens in F#. CoRR (2016)
Maria I. Gorinova, Advait Sarkar, Alan F. Blackwell, Don Syme
A Live, Multiple-Representation Probabilistic Programming Environment for Novices. CHI (2016)
Tomas Petricek, Gustavo Guerra, Don Syme
Types from data: making structured data first-class citizens in F#. PLDI (2016)
Don Syme
The F# Path to Relaxation. FCRC (2015)
Tomas Petricek, Don Syme, Zach Bray
In the Age of Web: Typed Functional-First Programming Revisited. ML/OCaml (2014)
Tomas Petricek, Don Syme
The F# Computation Expression Zoo. PADL (2014)
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek
Themes in information-rich functional programming for internet-scale data sources. DDFP (2013)
Tomas Petricek, Don Syme
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. PADL (2011)
Don Syme, Tomas Petricek, Dmitry Lomov
The F# Asynchronous Programming Model. PADL (2011)
Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie
Browser-based software for technology transfer. SAICSIT (2011)
Tomas Petricek, Alan Mycroft, Don Syme
Extending monads with pattern matching. Haskell (2011)
Tomas Petricek, Don Syme
Collecting hollywood's garbage: avoiding space-leaks in composite events. ISMM (2010)
Don Syme, Gregory Neverov, James Margetson
Extensible pattern matching via a lightweight language extension. ICFP (2007)
Don Syme
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Don Syme
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. ML (2006)
Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme
An industrially effective environment for formal hardware verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (9) (2005)
Andrew Kennedy, Don Syme
: expressivity of parametric polymorphism in an object-oriented language. Concurr. Pract. Exp. 16 (7) (2004)
Dachuan Yu, Andrew Kennedy, Don Syme
Formalization of generics for the .NET common language runtime. POPL (2004)
Don Syme, Andrew D. Gordon
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. LPAR (2002)
Andrew D. Gordon, Don Syme
Typing a multi-language intermediate code. POPL (2001)
Don Syme
ILX: Extending the .NET Common IL for Functional Language Interoperability. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Andrew Kennedy, Don Syme
Design and Implementation of Generics for the .NET Common Language Runtime. PLDI (2001)
Don Syme
Proving Java Type Soundness. Formal Syntax and Semantics of Java (1999)
Don Syme
Three Tactic Theorem Proving. TPHOLs (1999)
Graham Collins, Don Syme
A Theory of Finite Maps. TPHOLs (1995)
Don Syme
A New Interface for HOL - Ideas, Issues and Implementation. TPHOLs (1995)
Don Syme
Reasoning with the Formal Definition of Standard ML in HOL. HUG (1993)