James Chapman

According to our database, James Chapman authored at least 29 papers between 2005 and 2026.

Collaborative distances:

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

2026

Algebraic reasoning for timeliness-guided system design.

Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman, Artjoms Sinkarovs

J. Log. Algebraic Methods Program., 2026

2025

Program Logics for Ledgers.

Orestis Melkonian, Wouter Swierstra, James Chapman

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

A Readable and Computable Formalization of the Streamlet Consensus Protocol.

Mauro Jaskelioff, Orestis Melkonian, James Chapman

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

2024

IntersectMBO/formal-ledger-specifications.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Dataset, November, 2024

Applying Continuous Formal Methods to Cardano (Experience Report).

James Chapman, Arnaud Bailly, Polina Vinogradova

Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, 2024

Structured Contracts in the EUTxO Ledger Model.

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Algebraic Reasoning About Timeliness.

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

2022

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.

Seyed H. Haeri, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman

Comput., 2022

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.

Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2021

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

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

J. Funct. Program., 2021

2020

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. 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

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

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

Quotienting the Delay Monad by Weak Bisimilarity.

James Chapman, Tarmo Uustalu, Niccolò Veltri

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Relative Monads Formalised.

Thorsten Altenkirch, James Chapman, Tarmo Uustalu

J. Formaliz. Reason., 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

2012

When Is a Container a Comonad?

Danel Ahman, James Chapman, Tarmo Uustalu

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2010

The gentle art of levitation.

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

Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010

Monads Need Not Be Endofunctors.

Thorsten Altenkirch, James Chapman, Tarmo Uustalu

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Type checking and normalisation.

James Chapman

PhD thesis, 2009

Big-step normalisation.

Thorsten Altenkirch, James Chapman

J. Funct. Program., 2009

2008

Type Theory Should Eat Itself.

James Chapman

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008

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