| 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 | 311 | 2001 |
| Proving Java type soundness D Syme Formal Syntax and Semantics of Java, 83-118, 1999 | 160 | 1999 |
| Verifying intermediate language code D Syme, A Gordon, JA Forbes, VP Morrison US Patent 6,851,108, 2005 | 156 | 2005 |
| Typing a multi-language intermediate code AD Gordon, D Syme ACM SIGPLAN Notices 36 (3), 248-260, 2001 | 141 | 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 | 115 | 2005 |
| Expert F♯ D Syme, A Granicz, A Cisternino Apress, 2007 | 112 | 2007 |
| The F# asynchronous programming model D Syme, T Petricek, D Lomov International Symposium on Practical Aspects of Declarative Languages, 175-189, 2011 | 110 | 2011 |
| Expert F♯ 3.0 D Syme, A Granicz, A Cisternino Apress, 2012 | 93 | 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 | 84 | 2007 |
| 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 | 80* | 2019 |
| 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 | 74 | 2006 |
| Ilx: Extending the. net common il for functional language interoperability D Syme Electronic Notes in Theoretical Computer Science 59 (1), 53-72, 2001 | 70 | 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 | 57 | 2004 |
| Foundations of F♯ R Pickering, D Syme Apress, 2007 | 45 | 2007 |
| Reasoning with the formal definition of Standard ML in HOL D Syme HOL Users' Group Workshop, 43-60, 1993 | 44 | 1993 |
| 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 | 43 | 2012 |
| 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 | 41 | 1999 |
| A new interface for HOL—ideas, issues and implementation D Syme International Conference on Theorem Proving in Higher Order Logics, 324-339, 1995 | 41 | 1995 |
| DECLARE: A prototype declarative proof system for higher order logic D Syme University of Cambridge. Computer Laboratory, 1997 | 39 | 1997 |
