Manuel Chakravarty, James Chapman,Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler. ISoLA 2020 (to appear). pdf
Manuel Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner. ISoLA 2020 (to appear). pdf
Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsh, Marcin Szamotulski, Polina Vinogradova. TFP 2020 (to appear). pdf
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna. Journal of Functional Programming (to appear). pdf
Manuel M.T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, and Philip Wadler. In 4th Workshop on Trusted Smart Contracts, February 2020 (to appear). pdf
James Chapman, Roman Kireev, Chad Nester and Philip Wadler. In Mathematics of Program Construction, LNCS 11825, pages 255--297. October 2019. doi pdf
James Chapman, Tarmo Uustalu and Niccolò Veltri. In Mathematical Structures in Computer Science, 29(1), pages 67--92. January 2019. doi
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 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