1993 …2024

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 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 proceedingChapter

    8 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 proceedingChapter

    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 proceedingChapter

    58 Citations (Scopus)