Daniel W. H. James

According to our database, Daniel W. H. James authored at least 5 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Sorting with bialgebras and distributive laws.

Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2011

Proving the unique fixed-point principle correct: an adventure with category theory.

Ralf Hinze, Daniel W. H. James

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Theory and Practice of Fusion.

Ralf Hinze, Thomas Harper, Daniel W. H. James

Proceedings of the Implementation and Application of Functional Languages, 2010

Reason isomorphically!

Ralf Hinze, Daniel W. H. James

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

2009

A Reflection-based Proof Tactic for Lattices in Coq.

Daniel W. H. James, Ralf Hinze

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009