Registered user since Mon 12 Sep 2022
Name:James Chapman
Affiliation:Input Output
Personal website:https://jmchapman.io
Twitter:https://twitter.com/jmchapman_
Contributions
Haskell 2022 | Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile