Daniel James

Doctoral Student

Student, Keble College

daniel.james at cs.ox.ac.uk

Room 470, Wolfson Building, Parks Road, Oxford OX1 3QD

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

View all

Manage publications

Functional Pearl: F for Functor

Ralf Hinze‚ Jennifer Hackett and Daniel W. H. James

March, 2012.

Submitted to ICFP '12

Details | BibTeX

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.

Details | BibTeX | DOI (10.1145/2034773.2034821)

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 | BibTeX | DOI (10.1007/978-3-642-24276-2_2)