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
3182001
Verifying intermediate language code
D Syme, A Gordon, JA Forbes, VP Morrison
US Patent 6,851,108, 2005
1732005
Proving Java type soundness
D Syme
Formal Syntax and Semantics of Java, 83-118, 1999
1701999
Typing a multi-language intermediate code
AD Gordon, D Syme
ACM SIGPLAN Notices 36 (3), 248-260, 2001
1392001
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
1232005
Expert F♯
D Syme, A Granicz, A Cisternino
Apress, 2007
1162007
The F# asynchronous programming model
D Syme, T Petricek, D Lomov
International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011
1142011
Expert F♯ 3.0
D Syme, A Granicz, A Cisternino
Apress, 2012
992012
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
882007
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
792006
Ilx: Extending the. net common il for functional language interoperability
D Syme
Electronic Notes in Theoretical Computer Science 59 (1), 53-72, 2001
682001
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
612004
Reasoning with the formal definition of Standard ML in HOL
D Syme
HOL Users' Group Workshop, 43-60, 1993
451993
The F# computation expression zoo
T Petricek, D Syme
International Symposium on Practical Aspects of Declarative Languages, 33-48, 2014
44*2014
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
442012
Foundations of F♯
R Pickering, D Syme
Apress, 2007
442007
Initializing mutually referential abstract objects: The value recursion challenge
D Syme
Electronic Notes in Theoretical Computer Science 148 (2), 3-25, 2006
392006
DECLARE: A prototype declarative proof system for higher order logic
D Syme
University of Cambridge. Computer Laboratory, 1997
391997
Three tactic theorem proving
D Syme
International Conference on Theorem Proving in Higher Order Logics, 203-220, 1999
381999
Declarative theorem proving for operational semantics
DR Syme
University of Cambridge, 1999
381999
The system can't perform the operation now. Try again later.
Articles 1–20