James Cheney : Programs

Here are some programming projects I've worked on:

Foundations of language-integrated query
Database Wiki (maintained by me but developed mostly by Heiko Müller)
A static analyzer for XML query-update independence problems
Demo of a dependency provenance tracking system (SML source code)
Lux: a simple core language for updating XML. Currently in an alpha stage of development.
XMLPPM and DTDPPM: XML- and DTD-conscious compression tools
XParse: a text-to-XML parser generator
αProlog: an interpreter for a logic programming language based on nominal logic
FreshLib: a lightweight library for lazy functional programming with names and binding in Haskell
fzlib: an OCaml generic programming and compression toolkit. (Very out of date.)

Last modified: Fri Oct 16 13:25:18 BST 2020 Accessibility statement

Programs