All Stories

  1. Applying Continuous Formal Methods to Cardano (Experience Report)

    Article • August 2024, ACM (Association for Computing Machinery)

    James Chapman

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

    Article • Computers, March 2022, MDPI AG

    James Chapman

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

    Article • Journal of Functional Programming, January 2021, Cambridge University Press

    James Chapman

  4. Flexible Formality Practical Experience with Agile Formal Methods

    Article • January 2020, Springer Science + Business Media

    Matthias Güdemann, James Chapman

  5. System F in Agda, for Fun and Profit

    Article • January 2019, Springer Science + Business Media

    James Chapman

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

    Article • Proceedings of the ACM on Programming Languages, July 2018, ACM (Association for Computing Machinery)

    James Chapman

  7. Quotienting the delay monad by weak bisimilarity

    Article • Mathematical Structures in Computer Science, October 2017, Cambridge University Press

    James Chapman

  8. Type-and-scope safe programs and their proofs

    Article • January 2017, ACM (Association for Computing Machinery)

    James Chapman

  9. Monads need not be endofunctors

    Article • Logical Methods in Computer Science, March 2015, Logical Methods in Computer Science

    James Chapman

  10. Quotienting the Delay Monad by Weak Bisimilarity

    Article • January 2015, Springer Science + Business Media

    James Chapman

  11. When is a container a comonad?

    Article • Logical Methods in Computer Science, September 2014, Logical Methods in Computer Science

    James Chapman

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

    Article • Electronic Proceedings in Theoretical Computer Science, June 2014, Open Publishing Association

    James Chapman

  13. Proceedings Fourth Workshop on Mathematically Structured Functional Programming

    Article • Electronic Proceedings in Theoretical Computer Science, February 2012, Open Publishing Association

    James Chapman

  14. Article • Electronic Proceedings in Theoretical Computer Science, February 2012, Open Publishing Association

    James Chapman

  15. When Is a Container a Comonad?

    Article • January 2012, Springer Science + Business Media

    James Chapman

  16. The gentle art of levitation

    Article • September 2010, ACM (Association for Computing Machinery)

    James Chapman

  17. The gentle art of levitation

    Article • ACM SIGPLAN Notices, September 2010, ACM (Association for Computing Machinery)

    James Chapman

  18. Monads Need Not Be Endofunctors

    Article • January 2010, Springer Science + Business Media

    James Chapman

  19. Big-step normalisation

    Article • Journal of Functional Programming, June 2009, Cambridge University Press

    James Chapman

  20. Type Theory Should Eat Itself

    Article • Electronic Notes in Theoretical Computer Science, January 2009, Elsevier

    James Chapman