Daniel James : Publications
|
[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 |
|
[2] |
Functional Pearl: F for Functor Ralf Hinze‚ Jennifer Hackett and Daniel W. H. James March, 2012. Submitted to ICFP '12 |
|
[3] |
Proving The Unique Fixed−Point Principle Correct 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. |
|
[4] |
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. |
|
[5] |
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. |
|
[6] |
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. |
|
[7] |
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. Pages 85–96. New York‚ NY‚ USA. September, 2010. ACM. |
|
[8] |
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 |
|
[9] |
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. |
|
[10] |
A Functional and Monadic Proof Assistant for Streams Daniel W.H. James Master's Thesis University of Oxford. September, 2008. |