 | 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 |  | Don Syme,
Gregory Neverov,
James Margetson:
Extensible pattern matching via a lightweight language extension.
ICFP 2007: 29-40 |
| 2006 |
|---|
| 14 | | Don Syme:
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution.
ML 2006: 43-54 |
| 13 | | Don Syme:
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.
Electr. Notes Theor. Comput. Sci. 148(2): 3-25 (2006) |
| 2005 |
|---|
| 12 | | 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 | | Dachuan Yu,
Andrew Kennedy,
Don Syme:
Formalization of generics for the .NET common language runtime.
POPL 2004: 39-51 |
| 10 | | 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 | | 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 | | Andrew D. Gordon,
Don Syme:
Typing a multi-language intermediate code.
POPL 2001: 248-260 |
| 6 | | Don Syme:
ILX: Extending the .NET Common IL for Functional Language Interoperability.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
| 1999 |
|---|
| 5 | | Don Syme:
Proving Java Type Soundness.
Formal Syntax and Semantics of Java 1999: 83-118 |
| 4 | | 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 |
