• Sign in
  • Sign up
conf.researchr.org / James Chapman
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
  • POPL 2020 profile

Registered user since Mon 12 Sep 2022

Name:James Chapman
Affiliation:Input Output
Personal website: https://jmchapman.io
X (Twitter): https://x.com/jmchapman_

Contributions

2024

FUNARCH

  • Author of Applying Continuous Formal Methods to Cardano within the FUNARCH 2024-track

2023

NWPT

  • Author of Algebraic Reasoning about Timeliness within the NWPT 2023-track

ICFP

  • Committee Member in Program Committee within the ICFP Papers and Events-track
  • Session Chair of Dependent types (part of ICFP Papers and Events)

2022

Haskell

  • Author of Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs within the Haskell 2022-track

2020

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Program Committee within the PADL 2020-track
Share
xMon 23 Jun 08:34
using conf.researchr.org (v1.69.0)
Support page
Sign Up