Follow
Don Syme
Don Syme
Microsoft Research
Verified email at microsoft.com
Title
Cited by
Cited by
Year
Design and implementation of generics for the. net common language runtime
A Kennedy, D Syme
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
3432001
Verifying intermediate language code
D Syme, A Gordon, JA Forbes, VP Morrison
US Patent 6,851,108, 2005
1912005
Proving Java type soundness
D Syme
Formal Syntax and Semantics of Java, 83-118, 1999
1731999
Typing a multi-language intermediate code
AD Gordon, D Syme
ACM SIGPLAN Notices 36 (3), 248-260, 2001
1402001
An industrially effective environment for formal hardware verification
CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2005
1302005
The F# asynchronous programming model
D Syme, T Petricek, D Lomov
International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011
1282011
Expert F♯
D Syme, A Granicz, A Cisternino
Apress, 2007
1132007
Expert F♯ 3.0
D Syme, A Granicz, A Cisternino
Apress, 2012
1052012
Extensible pattern matching via a lightweight language extension
D Syme, G Neverov, J Margetson
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
982007
Leveraging. NET meta-programming components from F# integrated queries and interoperable heterogeneous execution
D Syme
Proceedings of the 2006 workshop on ML, 43-54, 2006
862006
Ilx: Extending the. net common il for functional language interoperability
D Syme
Electronic Notes in Theoretical Computer Science 59 (1), 53-72, 2001
712001
Formalization of generics for the. net common language runtime
D Yu, A Kennedy, D Syme
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
642004
The F# computation expression zoo
T Petricek, D Syme
Practical Aspects of Declarative Languages: 16th International Symposium …, 2014
49*2014
Foundations of F♯
R Pickering, D Syme
Apress, 2007
472007
Strongly-typed language support for internet-scale information sources
D Syme, K Battocchi, K Takeda, D Malayeri, J Fisher, J Hu, T Liu, ...
Technical Report MSR-TR-2012–101, Microsoft Research, 2012
462012
Reasoning with the formal definition of Standard ML in HOL
D Syme
HOL Users' Group Workshop, 43-60, 1993
451993
Three tactic theorem proving
D Syme
Theorem Proving in Higher Order Logics: 12th International Conference …, 1999
411999
DECLARE: A prototype declarative proof system for higher order logic
D Syme
University of Cambridge, Computer Laboratory, 1997
411997
A new interface for HOL—ideas, issues and implementation
D Syme
Higher Order Logic Theorem Proving and Its Applications: 8th International …, 1995
411995
Declarative theorem proving for operational semantics
DR Syme
University of Cambridge, 1999
391999
The system can't perform the operation now. Try again later.
Articles 1–20