James McKinna 个人学术档案

引用次数

	总计	2019 年至今
引用	2075	496
h 指数	22	13
i10 指数	33	17

120

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 20 21 12 26 17 24 17 20 33 34 37 64 87 90 113 91 108 101 76 105 75 71 87 89 108 99 108 99 67 85 37

开放获取的出版物数量

查看全部

13 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Conor McBrideReader, University of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Edwin BradyReader, School of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
Herman GeuversRadboud University Nijmegen, the Netherlands在 cs.ru.nl 的电子邮件经过验证
Jeremy GibbonsProfessor of Computing, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Healfdene GoguenGoogle在 google.com 的电子邮件经过验证
Roy DyckhoffHon. Senior Lecturer, St Andrews University在 st-andrews.ac.uk 的电子邮件经过验证
Thorsten AltenkirchProfessor of Computer Science, University of Nottingham在 cs.nott.ac.uk 的电子邮件经过验证
Stéphane Graham-LengrandSRI International在 csl.sri.com 的电子邮件经过验证
Allais GuillaumeChancellor's Fellow, University of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
Claudio Sacerdoti CoenUniversity of Bologna在 unibo.it 的电子邮件经过验证
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University在 pps.univ-paris-diderot.fr 的电子邮件经过验证
Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Dominic MulliganPrincipal Applied Scientist, Amazon Web Services在 amazon.co.uk 的电子邮件经过验证
Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azur在 inria.fr 的电子邮件经过验证
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH在 kerguelen.org 的电子邮件经过验证
Ilias GarnierPostdoc, École Normale Supérieure在 di.ens.fr 的电子邮件经过验证

关注

James McKinna

Heriot-Watt University, Edinburgh

在 hw.ac.uk 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The view from the left C McBride, J McKinna Journal of functional programming 14 (01), 69-111, 2004	433	2004
Pure type systems formalized J McKinna, R Pollack International Conference on Typed Lambda Calculi and Applications, 289-305, 1993	170	1993
Some lambda calculus and type theory formalized J McKinna, R Pollack Journal of Automated Reasoning 23 (3), 373-409, 1999	161*	1999
Inductive families need not store their indices E Brady, C McBride, J McKinna International Workshop on Types for Proofs and Programs, 115-129, 2003	126	2003
Eliminating dependent pattern matching H Goguen, C McBride, J McKinna Algebra, Meaning, and Computation, 521-540, 2006	99	2006
Functional pearl: i am not a number--i am a free variable C McBride, J McKinna Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 1-9, 2004	95	2004
I am not a number: I am a free variable C McBride, J McKinna Proceedings of the ACM SIGPLAN Haskell Workshop, 2004	95*	2004
Checking algorithms for pure type systems LS van Benthem Jutting, J McKinna, R Pollack Types for Proofs and Programs, 19-61, 1994	77*	1994
Deliverables: a categorical approach to program development in type theory J McKinna, R Burstall Mathematical Foundations of Computer Science 1993, 32-67, 1993	77	1993
Deliverables: a categorical approach to program development in type theory J McKinna, R Burstall Mathematical Foundations of Computer Science 1993, 32-67, 1993	77	1993
Why dependent types matter J McKinna ACM Sigplan Notices 41 (1), 1-1, 2006	72	2006
Why dependent types matter T Altenkirch, C McBride, J McKinna Manuscript, available online, 235, 2005	71	2005
Type-and-scope safe programs and their proofs G Allais, J Chapman, C McBride, J McKinna ACM, New York, NY, 2017	54	2017
Certified Complexity (CerCo) RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ... Foundational and Practical Aspects of Resource Analysis, 1-18, 2014	49	2014
A type-correct, stack-safe, provably correct, expression compiler in Epigram. J Mckinna, J Wright Submitted to the Journal of Functional Programming, 2006	42*	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 Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018	39	2018
A few constructions on constructors C McBride, H Goguen, J McKinna Types for Proofs and Programs, 186-200, 2006	39	2006
Abstracting extensible data types: or, rows by any other name JG Morris, J McKinna Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019	35	2019
Towards a Repository of Bx Examples. J Cheney, J McKinna, P Stevens, J Gibbons EDBT/ICDT Workshops 1133, 87-91, 2014	30	2014
Proviola: A tool for proof re-animation C Tankink, H Geuvers, J McKinna, F Wiedijk International Conference on Intelligent Computer Mathematics, 440-454, 2010	30	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用