James Chapman

Cited by

	All	Since 2019
Citations	961	552
h-index	17	13
i10-index	20	16

120

20062007200820092010201120122013201420152016201720182019202020212022202320245 4 10 13 18 25 25 49 32 31 36 71 75 67 72 95 106 113 95

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
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Michael Peyton JonesIOHKVerified email at michaelpj.com
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Niccolò VeltriResearcher, 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 at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.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
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
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	205*	2010
The gentle art of levitation J Chapman, PÉ Dagand, C McBride, P Morris ACM SIGPLAN Notices 45 (9), 3-14, 2010	115	2010
The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020	93	2020
Type theory should eat itself J Chapman Electronic Notes in Theoretical Computer Science 228, 21-36, 2009	72	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	43	2018
Type checking and normalisation JM Chapman University of Nottingham, 2009	38	2009
When is a container a comonad? D Ahman, J Chapman, T Uustalu Logical Methods in Computer Science 10, 2014	36	2014
When is a container a comonad? D Ahman, J Chapman, T Uustalu International Conference on Foundations of Software Science and …, 2012	36	2012
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri Mathematical Structures in Computer Science, 67-92, 2019	33	2019
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	30	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	29*	2007
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	29*
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 110-125, 2015	26	2015
Relative monads formalised T Altenkirch, J Chapman, T Uustalu Journal of Formalized Reasoning 7 (1), 1-43, 2014	25	2014
Native Custom Tokens in the Extended UTXO Model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ... ISoLA 2020, 2020	24	2020
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	17	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	14	2020
Flexible Formality: Practical Experience with Agile Formal Methods P Kant, K Hammond, D Coutts, J Chapman, N Clarke, J Corduan, ... TFP 2020, 2020	10	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