Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna. In Proceedings of the ACM on Programming Languages. Volume 2, Issue ICFP, September 2018. doi pdf

James Chapman, Tarmo Uustalu and Niccolò Veltri. In Mathematical Structures in Computer Science. To appear. doi

James Chapman, Tarmo Uustalu and Niccolò Veltri. In Journal of Formalized Reasoning 10 (1) 2017. doi

Guillaume Allais, James Chapman, Conor McBride and James McKinna. In Yves Bertot and Viktor Vafeiadis, eds., Proc. of The 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017 (Paris, Jan. 2017). doi pdf

Editors: James Chapman and Wouter Swierstra. TyDe 2016: Proceedings of the 1st International Workshop on Type-Driven Development. (Nara, Japan, September 18, 2016). ACM Press. ISBN 978-1-4503-4435-7. doi

James Chapman, Tarmo Uustalu, and Niccolò Veltri. In M. Leucker, C. Rueda, F. D. Valencia, eds., Proc. of 12th Int. Coll. on Theoretical Aspects of Computing, ICTAC 2015 (Cali, Oct. 2015), v. 9399 of Lect. Notes in Comput. Sci., pp. 110-125. Springer, 2015. doi pdf bib

Thorsten Altenkirch, James Chapman, and Tarmo Uustalu. In Logical Methods in Computer Science 11 (1). March 6, 2015. doi pdf bib

Danel Ahman, James Chapman, and Tarmo Uustalu. In Logical Methods in Computer Science 10 (3). September 3, 2014. doi bib

Thorsten Altenkirch, James Chapman, and Tarmo Uustalu. In Journal of Formalized Reasoning 7 (1) 2014. doi bib

Andreas Abel and James Chapman. In Paul Levy and Neel Krishnaswami: Proceedings 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), Grenoble, France, 12 April 2014, Electronic Proceedings in Theoretical Computer Science, 153, pp. 55-67. pdf doi bib

Ulf Norell and James Chapman. Online version. pdf

Editors: James Chapman and Paul Blain Levy. Proceedings of Fourth Worshop on Mathematically Structured functional Programming (MSFP 2012). Tallinn, March 2012. EPTCS. doi

Danel Ahman, James Chapman and Tarmo Uustalu. In L. Birkedal, ed., Proc. of 15th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS 2012 (Tallinn, March 2012), Lect. Notes in Comput. Sci., Springer. doi bib

Editors: Venanzio Capretta and James Chapman. Proceedings of 3rd ACM SIGPLAN Worshop on Mathematically Structured functional Programming (MSFP 2010). Baltimore, September 2010. ACM Press. doi

James Chapman, Pierre-Evariste Dagand, Conor McBride, and Peter Morris. In proceedings of 15th ACM SIGPLAN International Conference on Functional Programming, (ICFP '10). Baltimore, September 2010. pages 3--14. ACM Press. pdf bib

Also publised in ACM SIGPLAN Notices. bib

Thorsten Altenkirch, James Chapman, and Tarmo Uustalu. In proceedings of 13th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS), Paphos, Cyprus, March 2010. Volume 6014 Lecture Notes in Computer Science, Springer. ISBN 978-3-642-12031-2. pdf doi bib

Thorsten Altenkirch, James Chapman, and Tarmo Uustalu. In proceedings of Nordic Workshop on Programming Theory (NWPT), Copenhagen, Denmark, October 2009. pdf

Thorsten Altenkirch and James Chapman. In Journal of Functional Programming 19 (3 & 4) May 2009. Special Issue on Mathematically Structured Functional Programming (MSFP 2006). Cambridge University Press. (extended/refined version in my PhD thesis). pdf bib

James Chapman. PhD Thesis. Examiners: Thierry Coquand and Venanzio Capretta. Submitted 30th October 2008. Defended 13th January 2009. pdf

James Chapman. In proceedings of International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Pittsburg, Pennsylvania, June 2008. Electronic Notes in Theoretical Computer Science No. 228. Elsevier. (extended/refined version in my PhD thesis). pdf doi bib

Thorsten Altenkirch and James Chapman. In proceedings of Workshop on Mathematically Structured Functional Programming, Kuressaare, Estonia, July 2nd, 2006. Electronic Workshop in Computing (eWiC). British Computer Society. (extended/refined version in my PhD thesis). pdf

James Chapman, Thorsten Altenkirch, and Conor McBride. In Revised and Selected Papers from the Sixth Symposium on Trends in Functional Programming, Tallinn, Estonia, 2005. Trends in Functional Programming 6 Intellect 2007, ISBN 978-1-84150-176-5. pdf