James Chapman

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 17

Top Venues

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

James Chapman, Arnaud Bailly, Polina Vinogradova
Applying Continuous Formal Methods to Cardano (Experience Report). FUNARCH (2024)
Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
Structured Contracts in the EUTxO Ledger Model. FMBC@CAV (2024)
Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
Algebraic Reasoning About Timeliness. CoRR (2023)
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell (2022)
Seyed H. Haeri, Peter Thompson, Neil Davies, Peter Van Roy, Kevin Hammond, James Chapman
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. 11 (3) (2022)
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. J. Funct. Program. 31 (2021)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
: UTXO with Multi-asset Support. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
The Extended UTXO Model. Financial Cryptography Workshops (2020)
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. CoRR (2020)
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
Flexible Formality Practical Experience with Agile Formal Methods. TFP (2020)
James Chapman, Tarmo Uustalu, Niccolò Veltri
Quotienting the delay monad by weak bisimilarity. Math. Struct. Comput. Sci. 29 (1) (2019)
James Chapman, Roman Kireev, Chad Nester, Philip Wadler
System F in Agda, for Fun and Profit. MPC (2019)
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
A type and scope safe universe of syntaxes with binding: their semantics and proofs. Proc. ACM Program. Lang. 2 (ICFP) (2018)
James Chapman, Tarmo Uustalu, Niccolò Veltri
Formalizing Restriction Categories. J. Formaliz. Reason. 10 (1) (2017)
Guillaume Allais, James Chapman, Conor McBride, James McKinna
Type-and-scope safe programs and their proofs. CPP (2017)
James Chapman, Tarmo Uustalu, Niccolò Veltri
Quotienting the Delay Monad by Weak Bisimilarity. ICTAC (2015)
Thorsten Altenkirch, James Chapman, Tarmo Uustalu
Monads need not be endofunctors. Log. Methods Comput. Sci. 11 (1) (2015)
Danel Ahman, James Chapman, Tarmo Uustalu
When is a container a comonad? Log. Methods Comput. Sci. 10 (3) (2014)
Thorsten Altenkirch, James Chapman, Tarmo Uustalu
Relative Monads Formalised. J. Formaliz. Reason. 7 (1) (2014)
Andreas Abel, James Chapman
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. MSFP (2014)
Danel Ahman, James Chapman, Tarmo Uustalu
When Is a Container a Comonad? FoSSaCS (2012)
Thorsten Altenkirch, James Chapman, Tarmo Uustalu
Monads Need Not Be Endofunctors. FoSSaCS (2010)
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris
The gentle art of levitation. ICFP (2010)
Thorsten Altenkirch, James Chapman
Big-step normalisation. J. Funct. Program. 19 (3-4) (2009)
James Chapman
Type Theory Should Eat Itself. Electron. Notes Theor. Comput. Sci. 228 (2009)
Thorsten Altenkirch, James Chapman
Tait in One Big Step. MSFP@MPC (2006)
James Chapman, Thorsten Altenkirch, Conor McBride
Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming (2005)

James Chapman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Chapman