Author

Don Syme

Observed names: SYME D, Syme D, Syme, Don

Observed institutions: Microsoft (United States), University of Cambridge, Microsoft (United Kingdom), Microsoft Research (United Kingdom)

OpenAlex ID: A5109030480

Design and implementation of generics for the .NET Common language runtime

2001 · Andrew Kennedy, Don Syme · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 198

Proving Java Type Soundness

1999 · Don Syme · Lecture notes in computer science · 93

Typing a multi-language intermediate code

2001 · Andrew D. Gordon, Don Syme · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 83

The F# Asynchronous Programming Model

2011 · Don Syme, Tomas Petricek, et al. · Lecture notes in computer science · 75

Extensible pattern matching via a lightweight language extension

2007 · Don Syme, Gregory Neverov, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 60

Leveraging .NET meta-programming components from F#

2006 · Don Syme · 57

Formalization of generics for the .NET common language runtime

2004 · Dachuan Yu, Andrew Kennedy, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 50

Expert F#

2007 · Don Syme, Adam Granicz, et al. · Apress eBooks · 46

Three Tactic Theorem Proving

1999 · Don Syme · Lecture notes in computer science · 40

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

2001 · Don Syme · Electronic Notes in Theoretical Computer Science · 38

PDF

Strongly-Typed Language Support for Internet- Scale Information Sources

2012 · Don Syme, Keith Battocchi, et al. · 30

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge

2006 · Don Syme · Electronic Notes in Theoretical Computer Science · 27

PDF

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

2016 · Tomas Petricek, Gustavo Guerra, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 24

Design and implementation of generics for the .NET Common language runtime

2001 · Andrew Kennedy, Don Syme · ACM SIGPLAN Notices · 24

The F# Computation Expression Zoo

2013 · Tomas Petricek, Don Syme · Lecture notes in computer science · 22

Gradients without Backpropagation

2022 · Baydin, Atılım Güneş, Pearlmutter, Barak A., et al. · arXiv (Cornell University) · 20

PDF

Expert F# 3.0

2012 · Don Syme, Adam Granicz, et al. · Apress eBooks · 18

Typing a multi-language intermediate code

2001 · Andrew D. Gordon, Don Syme · ACM SIGPLAN Notices · 15

Transposing F to C♯: expressivity of parametric polymorphism in an object‐oriented language

2004 · Andrew Kennedy, Don Syme · Concurrency and Computation Practice and Experience · 14

The early history of F#

2020 · Don Syme · Proceedings of the ACM on Programming Languages · 13

PDF

A Live, Multiple-Representation Probabilistic Programming Environment for Novices

2016 · Maria I. Gorinova, Advait Sarkar, et al. · CHI Conference on Human Factors in Computing Systems · 12

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

2011 · Tomas Petricek, Don Syme · Lecture notes in computer science · 11

Language-Oriented Programming

2015 · Don Syme, Adam Granicz, et al. · Apress eBooks · 10

Extending monads with pattern matching

2011 · Tomas Petricek, Alan Mycroft, et al. · 9

Extensible pattern matching via a lightweight language extension

2007 · Don Syme, Gregory Neverov, et al. · ACM SIGPLAN Notices · 9

Works count: 166

Citation count: 1,080

H-index: 17

I10-index: 23