James Chapman

Cited by

	All	Since 2017
Citations	677	422
h-index	15	13
i10-index	16	13

100

200620072008200920102011201220132014201520162017201820192020202120225 5 10 12 18 26 26 42 35 32 35 69 75 67 75 98 35

Public access

View all

4 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
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Allais GuillaumePostdoc, University of St AndrewsVerified email at st-andrews.ac.uk
Pierre-Evariste DagandCNRSVerified email at evr.ist
Michael Peyton JonesIOHKVerified email at michaelpj.com
Orestis MelkonianUniversity of EdinburghVerified email at sms.ed.ac.uk
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
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

IOHK

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

Cited by

Co-authors