James Chapman
James Chapman
IOHK
Verified email at iohk.io - Homepage
TitleCited byYear
The gentle art of levitation
J Chapman, P╔ Dagand, C McBride, P Morris
ACM SIGPLAN Notices 45 (9), 3-14, 2010
882010
Monads need not be endofunctors
T Altenkirch, J Chapman, T Uustalu
International Conference on Foundations of Software Science andá…, 2010
822010
Type theory should eat itself
J Chapman
Electronic Notes in Theoretical Computer Science 228, 21-36, 2009
462009
Monads need not be endofunctors
T Uustalu, J Chapman, T Altenkirch
Logical Methods in Computer Science 11, 2015
31*2015
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
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
252017
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 110-125, 2015
242015
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
International Conference on Foundations of Software Science andá…, 2012
242012
Relative monads formalised
T Altenkirch, J Chapman, T Uustalu
Journal of Formalized Reasoning 7 (1), 1-43, 2014
202014
Big-step normalisation
T Altenkirch, J Chapman
Journal of Functional Programming 19 (3-4), 311-333, 2009
202009
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
18*
Tait in one big step
T Altenkirch, J Chapman
Workshop on Mathematically Structured Functional Programming, MSFP 2006, 2006
92006
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), 90, 2018
82018
An Epigram implementation
E Brady, J Chapman, PE Dagand, A Gundry, C McBride, P Morris, ...
URL http://www. e-pig. org, 2011
32011
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
22019
Formalizing Restriction Categories
J Chapman, T Uustalu, N Veltri
Journal of Formalized Reasoning 10 (1), 1-36, 2017
12017
When is a container a comonad?
T Uustalu, J Chapman, D Ahman
Logical Methods in Computer Science 10, 2014
12014
The Delay Monad and Restriction Categories
J Chapman, T Uustalu, N Veltri
NWPT 2013, 22, 2013
12013
Normalization by Evaluation in the Delay Monad: An Extended Case Study for Coinduction Via Copatterns and Sized Types
A Abel, J Chapman
The system can't perform the operation now. Try again later.
Articles 1–20