Travelled to:1 × Japan
1 × The Netherlands
Collaborated with:R.Hinze T.Harper
Talks about:theori (2) principl (1) categori (1) adventur (1) practic (1) correct (1) fusion (1) uniqu (1) prove (1) point (1)
Person: Daniel W. H. James
DBLP: James:Daniel_W=_H=
Contributed to:
2011
2010Wrote 2 papers:
- ICFP-2011-HinzeJ #category theory #fixpoint #proving
- Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
- IFL-2010-HinzeHJ #theory and practice
- Theory and Practice of Fusion (RH, TH, DWHJ), pp. 19–37.