Daniel is currently reading for a D.Phil under the supervison of Ralf Hinze, on the subject of proofs for programs. Daniel received his MSc in Computer Science from Oxford in 2008. He was previously at Warwick University as an undergraduate, where he received his BSc in Computer Science in 2007.
Daniel has previously been a departmental demonstrator for the Functional Programming course and is currently a teaching assistant for the Software Engineering Programme, assisting on the Object Orientation, Object-Oriented Programming and Design Patterns courses.
Sorting with Bialgebras and Distributive Laws
Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães
Accepted to WGP '12
Functional Pearl: F for Functor
Ralf Hinze‚ Jennifer Hackett and Daniel W. H. James
Submitted to ICFP '12
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.