James Chapman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 James Chapman: Type Theory Should Eat Itself. Electr. Notes Theor. Comput. Sci. 228: 21-36 (2009)

2005

1 James Chapman, Thorsten Altenkirch, Conor McBride: Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94

	2009
2		James Chapman: Type Theory Should Eat Itself. Electr. Notes Theor. Comput. Sci. 228: 21-36 (2009)
	2005
1		James Chapman, Thorsten Altenkirch, Conor McBride: Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94

Coauthor Index