The SCEAS System
Navigation Menu

Search the dblp DataBase


Don Syme: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Don Syme
    Proving Java Type Soundness. [Citation Graph (0, 0)][DBLP]
    Formal Syntax and Semantics of Java, 1999, pp:83-118 [Conf]
  2. Don Syme, Andrew D. Gordon
    Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:418-434 [Conf]
  3. Andrew Kennedy, Don Syme
    Design and Implementation of Generics for the .NET Common Language Runtime. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:1-12 [Conf]
  4. Andrew D. Gordon, Don Syme
    Typing a multi-language intermediate code. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:248-260 [Conf]
  5. Dachuan Yu, Andrew Kennedy, Don Syme
    Formalization of generics for the .NET common language runtime. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:39-51 [Conf]
  6. Graham Collins, Don Syme
    A Theory of Finite Maps. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:122-137 [Conf]
  7. Don Syme
    Reasoning with the Formal Definition of Standard ML in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:43-60 [Conf]
  8. Don Syme
    A New Interface for HOL - Ideas, Issues and Implementation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:324-339 [Conf]
  9. Don Syme
    Three Tactic Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:203-220 [Conf]
  10. Andrew Kennedy, Don Syme
    Transposing F to C#: expressivity of parametric polymorphism in an object-oriented language. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2004, v:16, n:7, pp:707-733 [Journal]
  11. Don Syme
    Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:3-25 [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:9, pp:1381-1405 [Journal]
  13. Don Syme
    ILX: Extending the .NET Common IL for Functional Language Interoperability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  14. Don Syme, Gregory Neverov, James Margetson
    Extensible pattern matching via a lightweight language extension. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:29-40 [Conf]
  15. Don Syme
    Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:43-54 [Conf]

  16. Collecting hollywood's garbage: avoiding space-leaks in composite events. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002