James McKinna

Research activity per year

Filter

2016
Reflections on monadic lenses
Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 25 Mar 2016, A List of Successes that can Change the World: Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Springer, p. 1-31 31 p. (Lecture Notes in Computer Science; vol. 9600).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
9 Citations (Scopus)
2006
Eliminating Dependent Pattern Matching
Goguen, H., McBride, C. & McKinna, J., 2006, Algebra, Meaning, and Computation. Springer, p. 521-540 20 p. (Lecture Notes in Computer Science; vol. 4060).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
30 Citations (Scopus)
2004
Inductive Families Need Not Store Their Indices
Brady, E., McBride, C. & Mckinna, J., 2004, Types for Proofs and Programs. TYPES 2003. Springer, p. 115-129 15 p. (Lecture Notes in Computer Science; vol. 3085).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
60 Citations (Scopus)

Research output