Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

James Chapman

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AhmanCU12
- ask others
Danel Ahman, James Chapman, Tarmo Uustalu: When Is a Container a Comonad? FoSSaCS 2012: 74-88
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2407
- ask others
James Chapman, Paul Blain Levy (Eds.): Proceedings Fourth Workshop on Mathematically Structured Functional Programming. EPTCS 76, 2012
2010
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AltenkirchCU10
- ask others
Thorsten Altenkirch, James Chapman, Tarmo Uustalu: Monads Need Not Be Endofunctors. FOSSACS 2010: 297-311
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/ChapmanDMM10
- ask others
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris: The gentle art of levitation. ICFP 2010: 3-14

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Chapman09
- ask others
James Chapman: Type Theory Should Eat Itself. Electr. Notes Theor. Comput. Sci. 228: 21-36 (2009)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/AltenkirchC09
- ask others
Thorsten Altenkirch, James Chapman: Big-step normalisation. J. Funct. Program. 19(3-4): 311-333 (2009)
2005
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/ChapmanAM05
- ask others
James Chapman, Thorsten Altenkirch, Conor McBride: Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94
2003
[c1]
- view
  - electronic edition @ isca-speech.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/interspeech/JinRCCLT03
- ask others
Jianhong Jin, Martin J. Russell, Michael J. Carey, James Chapman, Harvey Lloyd-Thomas, Graham Tattersall: A spoken language interface to an electronic programme guide. INTERSPEECH 2003