| 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 | 324 | 2001 |
| Verifying intermediate language code D Syme, A Gordon, JA Forbes, VP Morrison US Patent 6,851,108, 2005 | 183 | 2005 |
| Proving Java type soundness D Syme Formal Syntax and Semantics of Java 1523, 83-118, 1999 | 174 | 1999 |
| Typing a multi-language intermediate code AD Gordon, D Syme ACM SIGPLAN Notices 36 (3), 248-260, 2001 | 140 | 2001 |
| 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 | 127 | 2005 |
| The F# asynchronous programming model D Syme, T Petricek, D Lomov Practical Aspects of Declarative Languages: 13th International Symposium …, 2011 | 120 | 2011 |
| Expert F♯ D Syme, A Granicz, A Cisternino Apress, 2007 | 118 | 2007 |
| Expert F♯ 3.0 D Syme, A Granicz, A Cisternino Apress, 2012 | 102 | 2012 |
| 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 | 90 | 2007 |
| 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 | 84 | 2006 |
| Ilx: Extending the. net common il for functional language interoperability D Syme Electronic Notes in Theoretical Computer Science 59 (1), 53-72, 2001 | 68 | 2001 |
| 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 | 64 | 2004 |
| 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 | 46 | 2007 |
| Reasoning with the formal definition of Standard ML in HOL D Syme Higher Order Logic Theorem Proving and Its Applications: 6th International …, 2005 | 45 | 2005 |
| 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 | 44 | 2012 |
| A new interface for HOL—ideas, issues and implementation D Syme Higher Order Logic Theorem Proving and Its Applications: 8th International …, 1995 | 41 | 1995 |
| Three tactic theorem proving D Syme TPHOLs 99, 203-220, 1999 | 40 | 1999 |
| Declarative theorem proving for operational semantics DR Syme University of Cambridge, 1999 | 39 | 1999 |
| DECLARE: A prototype declarative proof system for higher order logic D Syme University of Cambridge, Computer Laboratory, 1997 | 39 | 1997 |
