James Chapman

According to our database, James Chapman authored at least 19 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

UTXO_{sf ma}: UTXO with Multi-asset Support.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Quotienting the delay monad by weak bisimilarity.

James Chapman, Tarmo Uustalu, Niccolò Veltri

Math. Struct. Comput. Sci., 2019

System F in Agda, for Fun and Profit.

James Chapman, Roman Kireev, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

A type and scope safe universe of syntaxes with binding: their semantics and proofs.

Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna

Proc. ACM Program. Lang., 2018

2017

Formalizing Restriction Categories.

James Chapman, Tarmo Uustalu, Niccolò Veltri

J. Formaliz. Reason., 2017

Type-and-scope safe programs and their proofs.

Guillaume Allais, James Chapman, Conor McBride, James McKinna

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2015

Monads need not be endofunctors.

Thorsten Altenkirch, James Chapman, Tarmo Uustalu

Log. Methods Comput. Sci., 2015

2014

Relative Monads Formalised.

Thorsten Altenkirch, James Chapman, Tarmo Uustalu

J. Formaliz. Reason., 2014

When is a container a comonad?

Danel Ahman, James Chapman, Tarmo Uustalu

Log. Methods Comput. Sci., 2014

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types.

Andreas Abel, James Chapman

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

2010

The gentle art of levitation.

James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Type checking and normalisation.

James Chapman

PhD thesis, 2009

Big-step normalisation.

Thorsten Altenkirch, James Chapman

J. Funct. Program., 2009

Type Theory Should Eat Itself.

James Chapman

Electron. Notes Theor. Comput. Sci., 2009

2006

Tait in One Big Step.

Thorsten Altenkirch, James Chapman

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

2005

Epigram reloaded: a standalone typechecker for ETT.

James Chapman, Thorsten Altenkirch, Conor McBride

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005