James Chapman
Title
Cited by
Cited by
Year
Monads need not be endofunctors
T Uustalu, J Chapman, T Altenkirch
Logical Methods in Computer Science 11, 2015
133*2015
Monads need not be endofunctors
T Altenkirch, J Chapman, T Uustalu
International Conference on Foundations of Software Science and …, 2010
1332010
The gentle art of levitation
J Chapman, PÉ Dagand, C McBride, P Morris
ACM SIGPLAN Notices 45 (9), 3-14, 2010
952010
Type theory should eat itself
J Chapman
Electronic Notes in Theoretical Computer Science 228, 21-36, 2009
662009
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
392017
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
International Conference on Foundations of Software Science and …, 2012
302012
Type checking and normalisation
JM Chapman
University of Nottingham, 2009
302009
Epigram Reloaded
J Chapman, T Altenkirch, C McBride
Trends in Functional Programming 6, 79, 2007
272007
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
252018
Big-step normalisation
T Altenkirch, J Chapman
Journal of Functional Programming 19 (3-4), 311-333, 2009
252009
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
24*
Relative monads formalised
T Altenkirch, J Chapman, T Uustalu
Journal of Formalized Reasoning 7 (1), 1-43, 2014
212014
The extended UTXO model
MM Chakravarty, J Chapman, K MacKenzie, O Melkonian, MP Jones, ...
Workshop on Trusted Smart Contracts, 2020
202020
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 110-125, 2015
202015
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
Mathematical Structures in Computer Science, 67-92, 2019
182019
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
132019
Tait in one big step
T Altenkirch, J Chapman
Workshop on Mathematically Structured Functional Programming (MSFP 2006), 1-10, 2006
102006
Native Custom Tokens in the Extended UTXO Model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
ISoLA 2020, 2020
82020
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
6*2020
An Epigram implementation
E Brady, J Chapman, PE Dagand, A Gundry, C McBride, P Morris, ...
URL http://www. e-pig. org, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20