James Chapman

Cited by

	All	Since 2020
Citations	1026	544
h-index	17	12
i10-index	21	15

140

105

200620072008200920102011201220132014201520162017201820192020202120222023202420255 4 10 13 19 26 27 48 33 31 37 71 75 67 69 95 110 115 128 23

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Orestis MelkonianInput Output (IOG/IOHK)Verified email at iohk.io
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Michael Peyton JonesIOHKVerified email at michaelpj.com
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Niccolò VeltriAssistant Professor, Department of Software Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Pierre-Evariste DagandCNRSVerified email at evr.ist
Kevin HammondHead of Software Engineering (Cardano Core), IOGVerified email at iohk.io
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of GothenburgVerified email at gu.se
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKVerified email at uib.no
Danel AhmanInstitute of Computer Science, University of TartuVerified email at ut.ee
Chad NesterUniversity of TartuVerified email at ut.ee
Peter Morris

James Chapman

IOG (IOHK)

Verified email at iohk.io - Homepage

Type theory category theory functional programming programming languages formal methods


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	219*	2010
The gentle art of levitation J Chapman, PÉ Dagand, C McBride, P Morris ACM SIGPLAN Notices 45 (9), 3-14, 2010	120	2010
The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020	110	2020
Type theory should eat itself J Chapman Electronic Notes in Theoretical Computer Science 228, 21-36, 2009	74	2009
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	57	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	45	2018
Type checking and normalisation JM Chapman University of Nottingham, 2009	39	2009
When is a container a comonad? D Ahman, J Chapman, T Uustalu Logical Methods in Computer Science 10, 2014	38	2014
When is a container a comonad? D Ahman, J Chapman, T Uustalu International Conference on Foundations of Software Science and …, 2012	38	2012
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri Mathematical Structures in Computer Science, 67-92, 2019	34	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	32*
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	31	2019
Big-step normalisation T Altenkirch, J Chapman Journal of Functional Programming 19 (3-4), 311-333, 2009	30	2009
Epigram Reloaded J Chapman, T Altenkirch, C McBride Trends in Functional Programming 6, 79, 2007	30*	2007
Native Custom Tokens in the Extended UTXO Model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ... ISoLA 2020, 2020	29	2020
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 110-125, 2015	25	2015
Relative monads formalised T Altenkirch, J Chapman, T Uustalu Journal of Formalized Reasoning 7 (1), 1-43, 2014	25	2014
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	20	2021
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	16	2020
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs J Cockx, O Melkonian, L Escot, J Chapman, U Norell Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 108-122, 2022	10	2022

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