C McBride, J McKinna

Journal of functional programming 14 (01), 69-111, 2004

J McKinna, R Pollack

Typed Lambda Calculi and Applications: International Conference on Typed …, 1993

J McKinna, R Pollack

Journal of Automated Reasoning 23, 373-409, 1999

E Brady, C McBride, J McKinna

International Workshop on Types for Proofs and Programs, 115-129, 2003

H Goguen, C McBride, J McKinna

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006

C McBride, J McKinna

Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, 1-9, 2004

C McBride, J McKinna

Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 1-9, 2004

J McKinna, R Burstall

International Symposium on Mathematical Foundations of Computer Science, 32-67, 1993

J McKinna, R Burstall

Mathematical Foundations of Computer Science 1993, 32-67, 1993

LS van Benthem Jutting, J McKinna, R Pollack

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The …, 1994

T Altenkirch, C McBride, J McKinna

Manuscript, available online, 235, 2005

J McKinna

ACM Sigplan Notices 41 (1), 1-1, 2006

G Allais, J Chapman, C McBride, J McKinna

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017

RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...

Foundational and Practical Aspects of Resource Analysis, 1-18, 2014

G Allais, R Atkey, J Chapman, C McBride, J McKinna

Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018

F Abou-Saleh, J Cheney, J Gibbons, J McKinna, P Stevens

Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018

JG Morris, J McKinna

Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019

C McBride, H Goguen, J McKinna

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006

J Mckinna, J Wright

Submitted to the Journal of Functional Programming, 2006

J Cheney, J McKinna, P Stevens, J Gibbons

EDBT/ICDT Workshops 1133, 87-91, 2014