Подписаться
James McKinna
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
4442004
Pure type systems formalized
J McKinna, R Pollack
Typed Lambda Calculi and Applications: International Conference on Typed …, 1993
1741993
Some lambda calculus and type theory formalized
J McKinna, R Pollack
Journal of Automated Reasoning 23, 373-409, 1999
162*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
1302003
Eliminating dependent pattern matching
H Goguen, C McBride, J McKinna
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006
1012006
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
972004
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
972004
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
77*1994
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
771993
Deliverables: a categorical approach to program development in type theory
J McKinna, R Burstall
Mathematical Foundations of Computer Science 1993, 32-67, 1993
771993
Why dependent types matter
J McKinna
ACM Sigplan Notices 41 (1), 1-1, 2006
722006
Why dependent types matter
T Altenkirch, C McBride, J McKinna
Manuscript, available online, 235, 2005
722005
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
572017
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
502014
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
462018
Introduction to bidirectional transformations
F Abou-Saleh, J Cheney, J Gibbons, J McKinna, P Stevens
Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018
432018
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 few constructions on constructors
C McBride, H Goguen, J McKinna
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006
402006
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
392019
Towards a Repository of Bx Examples.
J Cheney, J McKinna, P Stevens, J Gibbons
EDBT/ICDT Workshops 1133, 87-91, 2014
302014
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20