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
3052001
Proving Java type soundness
D Syme
Formal Syntax and Semantics of Java, 83-118, 1999
1571999
Verifying intermediate language code
D Syme, A Gordon, JA Forbes, VP Morrison
US Patent 6,851,108, 2005
1442005
Typing a multi-language intermediate code
AD Gordon, D Syme
ACM SIGPLAN Notices 36 (3), 248-260, 2001
1382001
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
1152005
Expert F♯
D Syme, A Granicz, A Cisternino
Apress, 2007
1122007
The F# asynchronous programming model
D Syme, T Petricek, D Lomov
International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011
1082011
Expert F♯ 3.0
D Syme, A Granicz, A Cisternino
Apress, 2012
902012
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
822007
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
722006
Ilx: Extending the. net common il for functional language interoperability
D Syme
Electronic Notes in Theoretical Computer Science 59 (1), 53-72, 2001
702001
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
562004
Cerebellar-prefrontal network connectivity and negative symptoms in schizophrenia
RO Brady Jr, I Gonsalvez, I Lee, D Öngür, LJ Seidman, JD Schmahmann, ...
American Journal of Psychiatry 176 (7), 512-520, 2019
54*2019
Reasoning with the formal definition of Standard ML in HOL
D Syme
HOL Users' Group Workshop, 43-60, 1993
441993
Foundations of F♯
R Pickering, D Syme
Apress, 2007
432007
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
412012
A new interface for HOL—ideas, issues and implementation
D Syme
International Conference on Theorem Proving in Higher Order Logics, 324-339, 1995
411995
Declarative theorem proving for operational semantics
DR Syme
University of Cambridge, 1999
401999
The F# computation expression zoo
T Petricek, D Syme
International Symposium on Practical Aspects of Declarative Languages, 33-48, 2014
39*2014
DECLARE: A prototype declarative proof system for higher order logic
D Syme
University of Cambridge. Computer Laboratory, 1997
391997
The system can't perform the operation now. Try again later.
Articles 1–20