James McKinna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
1993–2018
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CPP | Triangulating context lemmas. | Craig McLaughlin, James McKinna, Ian Stark |
| 2017 | CPP | Type-and-scope safe programs and their proofs. | Guillaume Allais, James Chapman, Conor McBride, James McKinna |
| 2015 | MPC | Notions of Bidirectional Computation and Entangled State Monads. | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
| 2014 | EDBT | Towards a Repository of Bx Examples. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons |
| 2014 | EDBT | Entangled State Monads. | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh |
| 2011 | ITP | Dynamic Proof Pages. | Carst Tankink, James McKinna |
| 2010 | AISC | Proviola: A Tool for Proof Re-animation. | Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk |
| 2010 | ICFP | Type Inference in Context. | Adam Gundry, Conor McBride, James McKinna |
| 2008 | AISC | Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. | Peter Chapman, James McKinna, Christian Urban |
| 2006 | CSL | A Sequent Calculus for Type Theory. | Stphane Lengrand, Roy Dyckhoff, James McKinna |
| 2006 | POPL | Why dependent types matter. | James McKinna |
| 2004 | HASKELL | Functional pearl: i am not a number-i am a free variable. | Conor McBride, James McKinna |
| 1993 | MFCS | Deliverables: A Categorial Approach to Program Development in Type Theory. | James McKinna, Rod M. Burstall |