
Search the dblp DataBase
James McKinna:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Healfdene Goguen, Conor McBride, James McKinna
Eliminating Dependent Pattern Matching. [Citation Graph (0, 0)][DBLP] Essays Dedicated to Joseph A. Goguen, 2006, pp:521540 [Conf]
 Stephane Lengrand, Roy Dyckhoff, James McKinna
A Sequent Calculus for Type Theory. [Citation Graph (0, 0)][DBLP] CSL, 2006, pp:441455 [Conf]
 James McKinna, Rod M. Burstall
Deliverables: A Categorial Approach to Program Development in Type Theory. [Citation Graph (0, 0)][DBLP] MFCS, 1993, pp:3267 [Conf]
 James McKinna
Why dependent types matter. [Citation Graph (0, 0)][DBLP] POPL, 2006, pp:1 [Conf]
 James McKinna, Robert Pollack
Pure Type Systems Formalized. [Citation Graph (0, 0)][DBLP] TLCA, 1993, pp:289305 [Conf]
 L. S. van Benthem Jutting, James McKinna, Robert Pollack
Checking Algorithms for Pure Type Systems. [Citation Graph (0, 0)][DBLP] TYPES, 1993, pp:1961 [Conf]
 Edwin Brady, Conor McBride, James McKinna
Inductive Families Need Not Store Their Indices. [Citation Graph (0, 0)][DBLP] TYPES, 2003, pp:115129 [Conf]
 Conor McBride, Healfdene Goguen, James McKinna
A Few Constructions on Constructors. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:186200 [Conf]
 James McKinna, Robert Pollack
Some Lambda Calculus and Type Theory Formalized. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:23, n:34, pp:373409 [Journal]
 Conor McBride, James McKinna
The view from the left. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:1, pp:69111 [Journal]
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. [Citation Graph (, )][DBLP]
Proviola: A Tool for Proof Reanimation. [Citation Graph (, )][DBLP]
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). [Citation Graph (, )][DBLP]
A Logically Saturated Extension of . [Citation Graph (, )][DBLP]
A MachineChecked Proof of the AverageCase Complexity of Quicksort in Coq. [Citation Graph (, )][DBLP]
A Real Semantic Web for Mathematics Deserves a Real Semantics. [Citation Graph (, )][DBLP]
Proviola: A Tool for Proof Reanimation [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
