The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
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.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002