BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: McKinna:James

Contributed to:

BX 20152015
EDBT/ICDT Workshops 20142014
CSL 20062006
POPL 20062006
TLCA 19931993
BX 20162016
Haskell 20042004
POPL 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.