James McKinna Vis

*	2009
16	EE	Lionel Elie Mamane, Herman Geuvers, James McKinna: A Logically Saturated Extension of . Calculemus/MKM 2009: 405-421
15	EE	Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna: Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops 2009: 208-213
	2008
14	EE	Peter Chapman, James McKinna, Christian Urban: Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. AISC/MKM/Calculemus 2008: 38-52
13	EE	Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers: A Real Semantic Web for Mathematics Deserves a Real Semantics. SemWiki 2008
12	EE	Eelis van der Weegen, James McKinna: A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. TYPES 2008: 256-271
	2006
11	EE	Stéphane Lengrand, Roy Dyckhoff, James McKinna: A Sequent Calculus for Type Theory. CSL 2006: 441-455
10	EE	Healfdene Goguen, Conor McBride, James McKinna: Eliminating Dependent Pattern Matching. Essays Dedicated to Joseph A. Goguen 2006: 521-540
9	EE	James McKinna: Why dependent types matter. POPL 2006: 1
	2004
8	EE	Conor McBride, Healfdene Goguen, James McKinna: A Few Constructions on Constructors. TYPES 2004: 186-200
7	EE	Conor McBride, James McKinna: The view from the left. J. Funct. Program. 14(1): 69-111 (2004)
	2003
6	EE	Edwin Brady, Conor McBride, James McKinna: Inductive Families Need Not Store Their Indices. TYPES 2003: 115-129
	2002
5		Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers Springer 2002
	1999
4		James McKinna, Robert Pollack: Some Lambda Calculus and Type Theory Formalized. J. Autom. Reasoning 23(3-4): 373-409 (1999)
	1993
3	EE	James McKinna, Rod M. Burstall: Deliverables: A Categorial Approach to Program Development in Type Theory. MFCS 1993: 32-67
2		James McKinna, Robert Pollack: Pure Type Systems Formalized. TLCA 1993: 289-305
1		L. S. van Benthem Jutting, James McKinna, Robert Pollack: Checking Algorithms for Pure Type Systems. TYPES 1993: 19-61

Coauthor Index

1	Saleem Bhatti	[15]
2	Edwin Brady	[6] [15]
3	Rod M. Burstall	[3]
4	Paul Callaghan	[5]
5	Peter Chapman	[14]
6	Pierre Corbineau	[13]
7	Roy Dyckhoff	[11]
8	Herman Geuvers	[13] [16]
9	Healfdene Goguen	[8] [10]
10	Kevin Hammond	[15]
11	L. S. van Benthem Jutting	[1]
12	Cezary Kaliszyk	[13]
13	Stéphane Lengrand	[11]
14	Zhaohui Luo	[5]
15	Lionel Elie Mamane	[16]
16	Conor McBride	[6] [7] [8] [10]
17	Robert Pollack	[1] [2] [4] [5]
18	Christian Urban	[14]
19	Eelis van der Weegen	[12]
20	Freek Wiedijk	[13]

Colors in the list of coauthors