@inproceedings{conf/lics/UrbanCB08,
	title = {Mechanizing the Metatheory of LF.},
	author = {Christian Urban and James Cheney and Stefan Berghofer},
	booktitle = {LICS},
	crossref = {conf/lics/2008},
	pages = {45-56},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/lics/lics2008.html#UrbanCB08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/27b19753c4afbaabe1e9df901000e6c6b/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.29}, isbn = {978-0-7695-3183-0}, date = {2008-06-25},
	keywords = {dblp }
}

@inproceedings{conf/pldi/CheneyD08,
	title = {Resource bound analysis for database queries.},
	author = {James Cheney and Morten Dahl},
	booktitle = {PLAS},
	crossref = {conf/pldi/2008plas},
	editor = {Úlfar Erlingsson and Marco Pistoia},
	pages = {67-78},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/pldi/plas2008.html#CheneyD08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f5799ac312e5d14b6e438ba575f515a0/dblp},
	description = {dblp},
	date = {2008-06-16}, ee = {http://doi.acm.org/10.1145/1375696.1375706}, isbn = {978-1-59593-936-4},
	keywords = {dblp }
}

@inproceedings{conf/pods/BunemanCTV08,
	title = {Curated databases.},
	author = {Peter Buneman and James Cheney and Wang Chiew Tan and Stijn Vansummeren},
	booktitle = {PODS},
	crossref = {conf/pods/2008},
	editor = {Maurizio Lenzerini and Domenico Lembo},
	pages = {1-12},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/pods/pods2008.html#BunemanCTV08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2727f8824ff896c7b0c61fc7a6d3eec31/dblp},
	description = {dblp},
	date = {2008-06-10}, ee = {http://doi.acm.org/10.1145/1376916.1376918}, isbn = {978-1-60558-108-8},
	keywords = {dblp }
}

@article{journals/sigmod/CheneyBL08,
	title = {Report on the Principles of Provenance Workshop.},
	author = {James Cheney and Peter Buneman and Bertram Ludäscher},
	journal = {SIGMOD Record},
	number = {1},
	pages = {62-65},
	url = {http://dblp.uni-trier.de/db/journals/sigmod/sigmod37.html#CheneyBL08},
	volume = {37},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2d45b5e6bb30f00256808d5b8c4d8562b/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1374780.1374798}, date = {2008-05-28},
	keywords = {dblp }
}

@article{journals/corr/abs-0804-1667,
	title = {Mechanizing the Metatheory of LF},
	author = {Christian Urban and James Cheney and Stefan Berghofer},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0804.html#abs-0804-1667},
	volume = {abs/0804.1667},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/270c690fe683fdac66154dd6f6aaf37b0/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0804.1667}, date = {2008-05-05},
	keywords = {dblp }
}

@inproceedings{conf/icfp/Cheney05a,
	title = {Toward a general theory of names: binding and scope.},
	author = {James Cheney},
	booktitle = {MERLIN},
	crossref = {conf/icfp/2005merlin},
	editor = {Randy Pollack},
	pages = {33-40},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/icfp/merlin2005.html#Cheney05a},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/287bc0db65c1d7314931c8f29ac09d84c/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1088454.1088459}, date = {2008-04-23},
	keywords = {dblp }
}

@inproceedings{conf/esop/Cheney08,
	title = {Regular Expression Subtyping for XML Query and Update Languages.},
	author = {James Cheney},
	booktitle = {ESOP},
	crossref = {conf/esop/2008},
	editor = {Sophia Drossopoulou},
	pages = {32-47},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/esop/esop2008.html#Cheney08},
	volume = {4960},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2e8c0c33ce8a449c1f637dd4b1c71b7e6/dblp},
	description = {dblp},
	date = {2008-04-16}, ee = {http://dx.doi.org/10.1007/978-3-540-78739-6_3}, isbn = {978-3-540-78738-9},
	keywords = {dblp }
}

@inproceedings{conf/ipaw/BunemanCCV06,
	title = {A Provenance Model for Manually Curated Data.},
	author = {Peter Buneman and Adriane Chapman and James Cheney and Stijn Vansummeren},
	booktitle = {IPAW},
	crossref = {conf/ipaw/2006},
	editor = {Luc Moreau and Ian T. Foster},
	pages = {162-170},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/ipaw/ipaw2006.html#BunemanCCV06},
	volume = {4145},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/22424b7e4a8f13c1b65a92392d943ff06/manish},
	description = {dblp},
	date = {2006-12-14}, ee = {http://dx.doi.org/10.1007/11890850_17}, isbn = {3-540-46302-X},
	keywords = {data }
}

@inproceedings{conf/sigmod/BunemanCC06,
	title = {Provenance management in curated databases.},
	author = {Peter Buneman and Adriane Chapman and James Cheney},
	booktitle = {SIGMOD Conference},
	crossref = {conf/sigmod/2006},
	editor = {Surajit Chaudhuri and Vagelis Hristidis and Neoklis Polyzotis},
	pages = {539-550},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigmod/sigmod2006.html#BunemanCC06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2665f4ec923e434a3481b05b0dc488ca4/manish},
	description = {dblp},
	date = {2006-07-06}, ee = {http://doi.acm.org/10.1145/1142473.1142534}, isbn = {1-59593-256-9},
	keywords = {databases }
}

@article{journals/debu/Cheney07,
	title = {Program Slicing and Data Provenance.},
	author = {James Cheney},
	journal = {IEEE Data Eng. Bull.},
	number = {4},
	pages = {22-28},
	url = {http://dblp.uni-trier.de/db/journals/debu/debu30.html#Cheney07},
	volume = {30},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2e65d0e9e6fec6af6932d2a955d2f0953/manish},
	description = {dblp},
	ee = {http://sites.computer.org/debull/A07dec/cheney.pdf}, date = {2007-12-22},
	keywords = {data }
}