James Chapman

Cited by

	All	Since 2018
Citations	787	454
h-index	15	12
i10-index	18	14

100

2006200720082009201020112012201320142015201620172018201920202021202220234 5 10 13 17 24 28 48 34 31 35 71 78 67 73 92 98 45

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Orestis MelkonianUniversity of EdinburghVerified email at sms.ed.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Michael Peyton JonesIOHKVerified email at michaelpj.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Pierre-Evariste DagandCNRSVerified email at evr.ist
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Peter Morris

James Chapman

IOG

Verified email at iohk.io - Homepage

Type theory category theory functional programming programming languages


Title Sort by citations Sort by year Sort by 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	170	2010
The gentle art of levitation J Chapman, PÉ Dagand, C McBride, P Morris ACM SIGPLAN Notices 45 (9), 3-14, 2010	106	2010
Type theory should eat itself J Chapman Electronic Notes in Theoretical Computer Science 228, 21-36, 2009	70	2009
The extended UTXO model MM Chakravarty, J Chapman, K MacKenzie, O Melkonian, MP Jones, ... Workshop on Trusted Smart Contracts, 2020	60	2020
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	46	2017
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	34	2018
Type checking and normalisation JM Chapman University of Nottingham, 2009	33	2009
When is a container a comonad? D Ahman, J Chapman, T Uustalu International Conference on Foundations of Software Science and …, 2012	32	2012
Big-step normalisation T Altenkirch, J Chapman Journal of Functional Programming 19 (3-4), 311-333, 2009	29	2009
Epigram Reloaded J Chapman, T Altenkirch, C McBride Trends in Functional Programming 6, 79, 2007	28	2007
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri Mathematical Structures in Computer Science, 67-92, 2019	27	2019
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	25*
Relative monads formalised T Altenkirch, J Chapman, T Uustalu Journal of Formalized Reasoning 7 (1), 1-43, 2014	24	2014
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 110-125, 2015	23	2015
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	19	2019
Native Custom Tokens in the Extended UTXO Model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ... ISoLA 2020, 2020	13	2020
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	10	2020
Tait in one big step T Altenkirch, J Chapman Workshop on Mathematically Structured Functional Programming (MSFP 2006), 1-10, 2006	10	2006
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	8	2021
Flexible Formality: Practical Experience with Agile Formal Methods P Kant, K Hammond, D Coutts, J Chapman, N Clarke, J Corduan, ... TFP 2020, 2020	6	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors