`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:

### Wrote 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.