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