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
3142001
Proving Java type soundness
D Syme
Formal Syntax and Semantics of Java, 83-118, 1999
1661999
Verifying intermediate language code
D Syme, A Gordon, JA Forbes, VP Morrison
US Patent 6,851,108, 2005
1632005
Typing a multi-language intermediate code
AD Gordon, D Syme
ACM SIGPLAN Notices 36 (3), 248-260, 2001
1372001
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
1172005
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
1112011
Expert F♯ 3.0
D Syme, A Granicz, A Cisternino
Apress, 2012
982012
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
852007
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
582004
Foundations of F♯
R Pickering, D Syme
Apress, 2007
452007
Reasoning with the formal definition of Standard ML in HOL
D Syme
HOL Users' Group Workshop, 43-60, 1993
451993
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
432012
The F# computation expression zoo
T Petricek, D Syme
International Symposium on Practical Aspects of Declarative Languages, 33-48, 2014
41*2014
Declarative theorem proving for operational semantics
DR Syme
University of Cambridge, 1999
401999
DECLARE: A prototype declarative proof system for higher order logic
D Syme
University of Cambridge. Computer Laboratory, 1997
401997
A new interface for HOL—ideas, issues and implementation
D Syme
International Conference on Theorem Proving in Higher Order Logics, 324-339, 1995
391995
Initializing mutually referential abstract objects: The value recursion challenge
D Syme
Electronic Notes in Theoretical Computer Science 148 (2), 3-25, 2006
382006
The system can't perform the operation now. Try again later.
Articles 1–20