Don Syme

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16 Ralf Hinze, Don Syme: Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 ACM 2008
15EEDon Syme, Gregory Neverov, James Margetson: Extensible pattern matching via a lightweight language extension. ICFP 2007: 29-40
14EEDon Syme: Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. ML 2006: 43-54
13EEDon Syme: Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. Electr. Notes Theor. Comput. Sci. 148(2): 3-25 (2006)
12EECarl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme: An industrially effective environment for formal hardware verification. IEEE Trans. on CAD of Integrated Circuits and Systems 24(9): 1381-1405 (2005)
11EEDachuan Yu, Andrew Kennedy, Don Syme: Formalization of generics for the .NET common language runtime. POPL 2004: 39-51
10EEAndrew Kennedy, Don Syme: Transposing F to C#: expressivity of parametric polymorphism in an object-oriented language. Concurrency - Practice and Experience 16(7): 707-733 (2004)
9EEDon Syme, Andrew D. Gordon: Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. LPAR 2002: 418-434
8 Andrew Kennedy, Don Syme: Design and Implementation of Generics for the .NET Common Language Runtime. PLDI 2001: 1-12
7EEAndrew D. Gordon, Don Syme: Typing a multi-language intermediate code. POPL 2001: 248-260
6EEDon Syme: ILX: Extending the .NET Common IL for Functional Language Interoperability. Electr. Notes Theor. Comput. Sci. 59(1): (2001)
5EEDon Syme: Proving Java Type Soundness. Formal Syntax and Semantics of Java 1999: 83-118
4EEDon Syme: Three Tactic Theorem Proving. TPHOLs 1999: 203-220
3 Graham Collins, Don Syme: A Theory of Finite Maps. TPHOLs 1995: 122-137
2 Don Syme: A New Interface for HOL - Ideas, Issues and Implementation. TPHOLs 1995: 324-339
1 Don Syme: Reasoning with the Formal Definition of Standard ML in HOL. HUG 1993: 43-60

Coauthor Index

1Mark Aagaard [12]
2Clark W. Barrett (Clark Barrett) [12]
3Graham Collins [3]
4Andrew D. Gordon (Andy Gordon) [7] [9]
5Ralf Hinze [16]
6Robert B. Jones [12]
7Andrew Kennedy [8] [10] [11]
8James Margetson [15]
9Thomas F. Melham [12]
10Gregory Neverov [15]
11John W. O'Leary [12]
12Carl-Johan H. Seger [12]
13Dachuan Yu [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)