University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
James Cheney
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1090
Jul 2007
Mechanized Metatheory Model-Checking
EDI-INF-RR-1052
2004
XML Compression Project
EDI-INF-RR-1051
Jun 2002
Cyclone: A Safe Dialect of C
EDI-INF-RR-1050
Mar 2006
Completeness and Herbrand theorems for nominal logic
EDI-INF-RR-0876
Jan 2007
On the Expressiveness of Implicit Provenance in Query and Update Languages.
EDI-INF-RR-0840
Sep 2005
Towards a General Theory of Names, Binding and Scope
EDI-INF-RR-0826
Mar 2006
Tradeoffs in XML Database Compression
EDI-INF-RR-0769
Jun 2006
Provenance Management in Curated Databases
EDI-INF-RR-0387
Sep 2005
Scrap your Nameplate (Functional Pearl)
EDI-INF-RR-0323
Apr 2005
Avoiding Equivariant Unification
EDI-INF-RR-0322
Apr 2005
Equivariant Unification
EDI-INF-RR-0321
Jun 2005
An Empirical Evaluation of Simple DTD-Conscious Compression Techniques
EDI-INF-RR-0320
Apr 2005
Relating Nominal and Higher-Order Pattern Unification
EDI-INF-RR-0319
Apr 2005
A Simpler Proof Theory for Nominal Logic
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh