Don Syme

31 papers A* 5A 1B 1C 5Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
LLMs Love Python: A Study of LLMs' Bias for Programming Languages and Libraries.
CoRR
Lukas Twist, Jie M. Zhang, Mark Harman, Don Syme, Joost Noppen, Detlef D. Nauck
2022 J jnl
Gradients without Backpropagation.
CoRR
Atilim Günes Baydin, Barak A. Pearlmutter, Don Syme, Frank Wood, Philip H. S. Torr
2020 J jnl
The early history of F#.
Proc. ACM Program. Lang.
Don Syme
2016 A* conf
A Live, Multiple-Representation Probabilistic Programming Environment for Novices.
CHI
Maria I. Gorinova, Advait Sarkar, Alan F. Blackwell, Don Syme
2016 J jnl
Types from data: Making structured data first-class citizens in F#.
CoRR
Tomas Petricek, Gustavo Guerra, Don Syme
2016 A* conf
Types from data: making structured data first-class citizens in F#.
PLDI
Tomas Petricek, Gustavo Guerra, Don Syme
2015 — conf
The F# Path to Relaxation.
FCRC
Don Syme
2014 — conf
In the Age of Web: Typed Functional-First Programming Revisited.
ML/OCaml
Tomas Petricek, Don Syme, Zach Bray
2014 C conf
The F# Computation Expression Zoo.
PADL
Tomas Petricek, Don Syme
2013 — conf
Themes in information-rich functional programming for internet-scale data sources.
DDFP
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek
2011 — conf
Browser-based software for technology transfer.
SAICSIT
Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie
2011 C conf
Extending monads with pattern matching.
Haskell
Tomas Petricek, Alan Mycroft, Don Syme
2011 C conf
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.
PADL
Tomas Petricek, Don Syme
2011 C conf
The F# Asynchronous Programming Model.
PADL
Don Syme, Tomas Petricek, Dmitry Lomov
2010 C conf
Collecting hollywood's garbage: avoiding space-leaks in composite events.
ISMM
Tomas Petricek, Don Syme
2008 — ed.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008
ICFP-WGP
Ralf Hinze, Don Syme
2007 A conf
Extensible pattern matching via a lightweight language extension.
ICFP
Don Syme, Gregory Neverov, James Margetson
2006 — conf
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution.
ML
Don Syme
2005 J jnl
An industrially effective environment for formal hardware verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme
2005 — conf
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.
ML
Don Syme
2004 A* conf
Formalization of generics for the .NET common language runtime.
POPL
Dachuan Yu, Andrew Kennedy, Don Syme
2004 J jnl
Transposing F to C
Concurr. Pract. Exp.
Andrew Kennedy, Don Syme
2002 B conf
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.
LPAR
Don Syme, Andrew D. Gordon
2001 A* conf
Design and Implementation of Generics for the .NET Common Language Runtime.
PLDI
Andrew Kennedy, Don Syme
2001 — conf
ILX: Extending the .NET Common IL for Functional Language Interoperability.
BABEL
Don Syme
2001 A* conf
Typing a multi-language intermediate code.
POPL
Andrew D. Gordon, Don Syme
1999 — conf
Proving Java Type Soundness.
Formal Syntax and Semantics of Java
Don Syme
1999 — conf
Three Tactic Theorem Proving.
TPHOLs
Don Syme
1995 — conf
A New Interface for HOL - Ideas, Issues and Implementation.
TPHOLs
Don Syme
1995 — conf
A Theory of Finite Maps.
TPHOLs
Graham Collins, Don Syme
1993 — conf
Reasoning with the Formal Definition of Standard ML in HOL.
HUG
Don Syme