James McKinna

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	2217	513
H-index	23	14
i10-index	36	19

120

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 23 18 12 26 16 24 20 23 36 34 41 62 82 91 119 91 109 99 79 102 75 73 89 88 110 107 112 109 86 93 91 21

גישה ציבורית

הצג הכל

20 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Conor McBrideReader, University of Strathclydeכתובת אימייל מאומתת בדומיין strath.ac.uk
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
Herman GeuversRadboud University Nijmegen, the Netherlandsכתובת אימייל מאומתת בדומיין cs.ru.nl
Edwin BradyReader, School of Computer Science, University of St Andrewsכתובת אימייל מאומתת בדומיין st-andrews.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburghכתובת אימייל מאומתת בדומיין inf.ed.ac.uk
Healfdene GoguenGoogleכתובת אימייל מאומתת בדומיין google.com
Allais GuillaumeChancellor's Fellow, University of Strathclydeכתובת אימייל מאומתת בדומיין strath.ac.uk
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
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
Cezary KaliszykUniversity of Melbourneכתובת אימייל מאומתת בדומיין unimelb.edu.au
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

עקוב אחר

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‏	445	2004
Pure type systems formalized‏ J McKinna, R Pollack‏ Typed Lambda Calculi and Applications: International Conference on Typed …, 1993‏	175	1993
Some lambda calculus and type theory formalized‏ J McKinna, R Pollack‏ Journal of Automated Reasoning 23, 373-409, 1999‏	168*	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‏	131	2003
Eliminating dependent pattern matching‏ H Goguen, C McBride, J McKinna‏ Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006‏	102	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‏	85	2004
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‏	85	2004
Deliverables: a categorical approach to program development in type theory‏ J McKinna, R Burstall‏ International Symposium on Mathematical Foundations of Computer Science, 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
Checking algorithms for pure type systems‏ LS van Benthem Jutting, J McKinna, R Pollack‏ Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The …, 1994‏	76*	1994
Why dependent types matter‏ T Altenkirch, C McBride, J McKinna‏ Manuscript, available online, 235, 2005‏	74	2005
Why dependent types matter‏ J McKinna‏ ACM Sigplan Notices 41 (1), 1-1, 2006‏	71	2006
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
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‏	50	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‏ Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018‏	44	2018
Introduction to bidirectional transformations‏ F Abou-Saleh, J Cheney, J Gibbons, J McKinna, P Stevens‏ Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018‏	43	2018
A few constructions on constructors‏ C McBride, H Goguen, J McKinna‏ Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006‏	42	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‏	41	2019
A type-correct, stack-safe, provably correct, expression compiler in Epigram.‏ J Mckinna, J Wright‏ Submitted to the Journal of Functional Programming, 2006‏	41*	2006
Towards a Repository of Bx Examples.‏ J Cheney, J McKinna, P Stevens, J Gibbons‏ EDBT/ICDT Workshops 1133, 87-91, 2014‏	31	2014

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים