Follow
James Chapman
Title
Cited by
Cited by
Year
Monads need not be endofunctors
T Altenkirch, J Chapman, T Uustalu
International Conference on Foundations of Software Science and …, 2010
190*2010
The gentle art of levitation
J Chapman, PÉ Dagand, C McBride, P Morris
ACM SIGPLAN Notices 45 (9), 3-14, 2010
1092010
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
722020
Type theory should eat itself
J Chapman
Electronic Notes in Theoretical Computer Science 228, 21-36, 2009
702009
Type-and-scope safe programs and their proofs
G Allais, J Chapman, C McBride, J McKinna
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
532017
Type checking and normalisation
JM Chapman
University of Nottingham, 2009
392009
A type and scope safe universe of syntaxes with binding: their semantics and proofs
G Allais, R Atkey, J Chapman, C McBride, J McKinna
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
382018
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
Logical Methods in Computer Science 10, 2014
342014
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
International Conference on Foundations of Software Science and …, 2012
342012
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
Mathematical Structures in Computer Science, 67-92, 2019
312019
Big-step normalisation
T Altenkirch, J Chapman
Journal of Functional Programming 19 (3-4), 311-333, 2009
302009
System F in Agda, for Fun and Profit
J Chapman, R Kireev, C Nester, P Wadler
International Conference on Mathematics of Program Construction, 255-297, 2019
292019
Epigram Reloaded
J Chapman, T Altenkirch, C McBride
Trends in Functional Programming 6, 79, 2007
292007
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
A Abel, J Chapman
EPTCS 153, 51-67, 0
28*
Relative monads formalised
T Altenkirch, J Chapman, T Uustalu
Journal of Formalized Reasoning 7 (1), 1-43, 2014
252014
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 110-125, 2015
242015
Native Custom Tokens in the Extended UTXO Model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
ISoLA 2020, 2020
152020
A type-and scope-safe universe of syntaxes with binding: their semantics and proofs
G Allais, R Atkey, J Chapman, C McBride, J McKinna
Journal of Functional Programming 31, e22, 2021
122021
UTXOma: UTXO with Multi-Asset Support
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
9th International Symposium on Leveraging Applications of Formal Methods …, 2020
112020
Tait in one big step
T Altenkirch, J Chapman
Workshop on Mathematically Structured Functional Programming (MSFP 2006), 1-10, 2006
102006
The system can't perform the operation now. Try again later.
Articles 1–20