Informatics Report Series


James Cheney

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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 <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh