Reasoning with the Formal Definition of Standard ML in HOL. - Don Syme (HUG, 1993)

A Theory of Finite Maps. - Graham Collins; Don Syme (TPHOLs, 1995)

A New Interface for HOL - Ideas, Issues and Implementation. - Don Syme (TPHOLs, 1995)

Proving Java Type Soundness. - Don Syme (Formal Syntax and Semantics of Java, 1999)

Three Tactic Theorem Proving. - Don Syme (TPHOLs, 1999)

Declarative theorem proving for operational semantics. - Donald Robert Syme (1999)

Design and Implementation of Generics for the .NET Common Language Runtime. - Andrew Kennedy; Don Syme (PLDI, 2001)

Typing a multi-language intermediate code. - Andrew D. Gordon 001; Don Syme (POPL, 2001)

ILX: Extending the .NET Common IL for Functional Language Interoperability. - Don Syme (BABEL, 2001)

Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. - Don Syme; Andrew D. Gordon 001 (LPAR, 2002)

Formalization of generics for the .NET common language runtime. - Dachuan Yu; Andrew Kennedy; Don Syme (POPL, 2004)

Transposing F to C#: expressivity of parametric polymorphism in an object-oriented language. - Andrew Kennedy; Don Syme (Concurr. Pract. Exp., 2004)

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. - Don Syme (ML, 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)

Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. - Don Syme (ML, 2006)

Extensible pattern matching via a lightweight language extension. - Don Syme; Gregory Neverov; James Margetson (ICFP, 2007)

Collecting hollywood's garbage: avoiding space-leaks in composite events. - Tomas Petricek 001; Don Syme (ISMM, 2010)

Extending monads with pattern matching. - Tomas Petricek 001; Alan Mycroft; Don Syme (Haskell, 2011)

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. - Tomas Petricek 001; Don Syme (PADL, 2011)

The F# Asynchronous Programming Model. - Don Syme; Tomas Petricek 001; Dmitry Lomov (PADL, 2011)

Browser-based software for technology transfer. - Judith Bishop; Jonathan de Halleux; Nikolai Tillmann; R. Nigel Horspool; Don Syme; Tao Xie 001 (SAICSIT, 2011)

Themes in information-rich functional programming for internet-scale data sources. - Don Syme; Keith Battocchi; Kenji Takeda; Donna Malayeri; Tomas Petricek 001 (DDFP, 2013)

The F# Computation Expression Zoo. - Tomas Petricek 001; Don Syme (PADL, 2014)

In the Age of Web: Typed Functional-First Programming Revisited. - Tomas Petricek 001; Don Syme; Zach Bray (ML/OCaml, 2014)

The F# Path to Relaxation. - Don Syme (FCRC, 2015)

A Live, Multiple-Representation Probabilistic Programming Environment for Novices. - Maria I. Gorinova 001; Advait Sarkar; Alan F. Blackwell; Don Syme (CHI, 2016)

Types from data: making structured data first-class citizens in F#. - Tomas Petricek 001; Gustavo Guerra; Don Syme (PLDI, 2016)

The early history of F#. - Don Syme (Proc. ACM Program. Lang., 2020)

Gradients without Backpropagation. - Atilim Günes Baydin; Barak A. Pearlmutter; Don Syme; Frank Wood; Philip H. S. Torr (CoRR, 2022)

LLMs Love Python: A Study of LLMs' Bias for Programming Languages and Libraries. - Lukas Twist; Jie M. Zhang; Mark Harman; Don Syme; Joost Noppen; Detlef D. Nauck (CoRR, 2025)