Daniel James
Biography
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.
Selected Publications
-
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
-
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
-
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