Daniel James : Publications
Book chapters
-
[1]
Theory and Practice of Fusion
Ralf Hinze‚ Thomas Harper and Daniel W.H. James
In Jurriaan Hage and Marco Morazán, editors, Implementation and Application of Functional Languages. Vol. 6647 of Lecture Notes in Computer Science. Pages 19–37. Springer Berlin / Heidelberg. January, 2011.
Details about Theory and Practice of Fusion | BibTeX data for Theory and Practice of Fusion | DOI (10.1007/978-3-642-24276-2_2) | Link to Theory and Practice of Fusion
-
[2]
A reflection−based proof tactic for lattices in Coq
Daniel W.H. James and Ralf Hinze
In Zoltán Horváth and Viktόria Zsόk, editors, Post−symposium proceedings of the 10th Symposium on Trends in Functional Programming. Chapter 7. Pages 97–112. Intellect. June, 2009.
http://www.intellectbooks.co.uk/books/view-Book,id=4740/
Details about A reflection−based proof tactic for lattices in Coq | BibTeX data for A reflection−based proof tactic for lattices in Coq | Link to A reflection−based proof tactic for lattices in Coq
Conference papers
-
[1]
Proving the unique fixed−point principle correct: an adventure with category theory
Ralf Hinze and Daniel W.H. James
In Proceeding of the 16th ACM SIGPLAN international conference on Functional programming. Pages 359–371. New York‚ NY‚ USA. September, 2011. ACM.
Details about Proving the unique fixed−point principle correct: an adventure with category theory | BibTeX data for Proving the unique fixed−point principle correct: an adventure with category theory | DOI (10.1145/2034773.2034821) | Link to Proving the unique fixed−point principle correct: an adventure with category theory
-
[2]
Theory and Practice of Fusion
Ralf Hinze‚ Thomas Harper and Daniel W.H. James
In Jurriaan Hage, editor, Pre−proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages. Pages 402–421. August, 2010.
The pre−proceedings appeared as Utrecht University Technical Report UU−CS−2010−020: http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf
Details about Theory and Practice of Fusion | BibTeX data for Theory and Practice of Fusion | Link to Theory and Practice of Fusion
-
[3]
Reason isomorphically!
Ralf Hinze and Daniel W. H. James
In Bruno C.d.S. Oliveira and Marcin Zalewski, editors, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10). Pages 85–96. New York‚ NY‚ USA. September, 2010. ACM.
Details about Reason isomorphically! | BibTeX data for Reason isomorphically! | DOI (10.1145/1863495.1863507)
Technical reports
-
[1]
Proving The Unique Fixed−Point Principle Correct
Ralf Hinze and Daniel W. H. James
No. CS−RR−2011−03. Department of Computer Science‚ University of Oxford. 2011.
Details about Proving The Unique Fixed−Point Principle Correct | BibTeX data for Proving The Unique Fixed−Point Principle Correct | Link to Proving The Unique Fixed−Point Principle Correct
-
[2]
Theory and Practice of Fusion
Ralf Hinze‚ Thomas Harper and Daniel W.H. James
No. CS−RR−2011−01. Department of Computer Science‚ University of Oxford. 2011.
Details about Theory and Practice of Fusion | BibTeX data for Theory and Practice of Fusion | Link to Theory and Practice of Fusion
Theses
-
[1]
A Functional and Monadic Proof Assistant for Streams
Daniel W.H. James
Master's Thesis University of Oxford. September, 2008.
Details about A Functional and Monadic Proof Assistant for Streams | BibTeX data for A Functional and Monadic Proof Assistant for Streams | Link to A Functional and Monadic Proof Assistant for Streams
Miscellaneous
-
[1]
Sorting with Bialgebras and Distributive Laws
Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães
May, 2012.
Accepted to WGP '12
Details about Sorting with Bialgebras and Distributive Laws | BibTeX data for Sorting with Bialgebras and Distributive Laws | Link to Sorting with Bialgebras and Distributive Laws
-
[2]
Functional Pearl: F for Functor
Ralf Hinze‚ Jennifer Hackett and Daniel W. H. James
March, 2012.
Submitted to ICFP '12
Details about Functional Pearl: F for Functor | BibTeX data for Functional Pearl: F for Functor | Link to Functional Pearl: F for Functor