Daniel W. H. James

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Distributive Lattices

Sorting Algorithms

Top Venues

Publications

Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães
Sorting with bialgebras and distributive laws. WGP@ICFP (2012)
Ralf Hinze, Daniel W. H. James
Proving the unique fixed-point principle correct: an adventure with category theory. ICFP (2011)
Ralf Hinze, Thomas Harper, Daniel W. H. James
Theory and Practice of Fusion. IFL (2010)
Ralf Hinze, Daniel W. H. James
Reason isomorphically! ICFP-WGP (2010)
Daniel W. H. James, Ralf Hinze
A Reflection-based Proof Tactic for Lattices in Coq. Trends in Functional Programming (2009)