Travelled to:1 × Greece
1 × Hungary
1 × Italy
1 × USA
2 × The Netherlands
Collaborated with:∅ P.Stevens J.Gibbons J.Cheney F.Abou-Saleh R.Pollack C.McBride J.G.Morris S.Lengrand R.Dyckhoff
Talks about:type (5) bidirect (3) transform (2) toward (2) depend (2) equilibrium (1) repositori (1) complement (1) coalgebra (1) scenario (1)
Person: James McKinna
DBLP: McKinna:James
Contributed to:
20152014
2006
2006
19932016
20042019Wrote 12 papers:
- BX-2015-Abou-SalehMG #algebra #aspect-oriented #bidirectional
- Coalgebraic Aspects of Bidirectional Computation (FAS, JM, JG), pp. 16–30.
- BX-2015-CheneyGMS #bidirectional #towards
- Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
- BX-2014-CheneyMSG #repository #towards
- Towards a Repository of Bx Examples (JC, JM, PS, JG), pp. 87–91.
- BX-2014-CheneyMSGA #monad
- Entangled State Monads (JC, JM, PS, JG, FAS), pp. 108–111.
- CSL-2006-LengrandDM #calculus #type system
- A Sequent Calculus for Type Theory (SL, RD, JM), pp. 441–455.
- POPL-2006-McKinna #dependent type #matter #why
- Why dependent types matter (JM), p. 1.
- TLCA-1993-McKinnaP #type system
- Pure Type Systems Formalized (JM, RP), pp. 289–305.
- BX-2016-McKinna #approach #bidirectional
- Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal) (JM), p. 14.
- BX-2016-McKinna16a #consistency
- Complements Witness Consistency (JM), pp. 90–94.
- BX-2016-McKinnaS #deployment #equilibrium #how
- How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) (JM, PS), pp. 32–34.
- Haskell-2004-McBrideM #functional
- Functional pearl: i am not a number-i am a free variable (CM, JM), pp. 1–9.
- POPL-2019-MorrisM #data type
- Abstracting extensible data types: or, rows by any other name (JGM, JM), p. 28.