2008 |
16 | | Ralf Hinze,
Don Syme:
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008
ACM 2008 |
2007 |
15 | EE | Don Syme,
Gregory Neverov,
James Margetson:
Extensible pattern matching via a lightweight language extension.
ICFP 2007: 29-40 |
2006 |
14 | EE | Don Syme:
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution.
ML 2006: 43-54 |
13 | EE | Don Syme:
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.
Electr. Notes Theor. Comput. Sci. 148(2): 3-25 (2006) |
2005 |
12 | EE | Carl-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) |
2004 |
11 | EE | Dachuan Yu,
Andrew Kennedy,
Don Syme:
Formalization of generics for the .NET common language runtime.
POPL 2004: 39-51 |
10 | EE | Andrew 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) |
2002 |
9 | EE | Don Syme,
Andrew D. Gordon:
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.
LPAR 2002: 418-434 |
2001 |
8 | | Andrew Kennedy,
Don Syme:
Design and Implementation of Generics for the .NET Common Language Runtime.
PLDI 2001: 1-12 |
7 | EE | Andrew D. Gordon,
Don Syme:
Typing a multi-language intermediate code.
POPL 2001: 248-260 |
6 | EE | Don Syme:
ILX: Extending the .NET Common IL for Functional Language Interoperability.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
1999 |
5 | EE | Don Syme:
Proving Java Type Soundness.
Formal Syntax and Semantics of Java 1999: 83-118 |
4 | EE | Don Syme:
Three Tactic Theorem Proving.
TPHOLs 1999: 203-220 |
1995 |
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 |
1993 |
1 | | Don Syme:
Reasoning with the Formal Definition of Standard ML in HOL.
HUG 1993: 43-60 |