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
194*2010
The gentle art of levitation
J Chapman, PÉ Dagand, C McBride, P Morris
ACM SIGPLAN Notices 45 (9), 3-14, 2010
1112010
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
742020
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
542017
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
392018
Type checking and normalisation
JM Chapman
University of Nottingham, 2009
382009
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
Logical Methods in Computer Science 10, 2014
332014
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
International Conference on Foundations of Software Science and …, 2012
332012
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
Mathematical Structures in Computer Science, 67-92, 2019
322019
Big-step normalisation
T Altenkirch, J Chapman
Journal of Functional Programming 19 (3-4), 311-333, 2009
302009
Epigram Reloaded
J Chapman, T Altenkirch, C McBride
Trends in Functional Programming 6, 79, 2007
29*2007
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
282019
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*
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 110-125, 2015
252015
Relative monads formalised
T Altenkirch, J Chapman, T Uustalu
Journal of Formalized Reasoning 7 (1), 1-43, 2014
252014
Native Custom Tokens in the Extended UTXO Model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
ISoLA 2020, 2020
172020
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
142021
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
122020
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