James McKinna

Identifiers

• name variant James McKinna 0.60 · backfill

Papers (4)

1. Reflections on Monadic Lenses cs.PL · 2016 · author #4
2. Notions of bidirectional computation and entangled state monads cs.PL · 2015 · author #4
3. The lambda-mu-T-calculus cs.LO · 2012 · author #3
4. Proviola: A Tool for Proof Re-animation cs.LO · 2010 · author #3

Mentions

• 1204.0347 #3 · backfill · confidence 0.70 James McKinna
• 1005.2672 #3 · backfill · confidence 0.70 James McKinna

Frequent Coauthors

• Faris Abou-Saleh 2 shared papers
• Herman Geuvers 2 shared papers
• James Cheney 2 shared papers
• Jeremy Gibbons 2 shared papers
• Perdita Stevens 2 shared papers
• Carst Tankink 1 shared papers
• Freek Wiedijk 1 shared papers
• Robbert Krebbers 1 shared papers