Daniel W. H. James
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2010–2012
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICFP | Sorting with bialgebras and distributive laws. | Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, Jos Pedro Magalhes |
| 2011 | ICFP | Proving the unique fixed-point principle correct: an adventure with category theory. | Ralf Hinze, Daniel W. H. James |
| 2010 | ICFP | Reason isomorphically! | Ralf Hinze, Daniel W. H. James |