Interests

I am interested in Martin Löf’s type theory, dependent types, intuitionistic mathematics in general, category theory, and functional programming. I am particularly interested in the semantics of type theory in type theory, and the mathematical structures arising in programming languages and logics.

Future/Recent Events

1. WTSC 2021 (member of programme committee)
2. ISoLA 2020 (author)
3. TFP 2020 (author)
4. WTSC 2020 (member of programme comittee)
5. PADL 2020 (member of programme committee)

Recent Publications

1. Native Custom Tokens in the Extended UTXO Model (ISoLA, 2020) (accepted 26 June 2020)
2. UTXOma: UTXO with Multi-Asset Support (ISoLA, 2020) (accepted 26 June 2020)
3. Flexible Formality: Practical Experience with Agile Formal Methods (TFP, 2020) (accepted 18 May 2020)
4. A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs (JFP) (accepted 28 January 2020)
5. The Extended UTxO Model (WTSC, 2020) (accepted 20 January 2020)

Identification

Name

Dr. James Chapman

Contact

mail (at) jmchapman (dot) io