Reusability and Dependent Types

Project: Research

Search results

  • 2012

    Transporting functions across ornaments

    Dagand, P-E. & McBride, C., 2012, ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming . New York, p. 104-113 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    14 Citations (Scopus)
  • 2010

    The gentle art of levitation

    Chapman, J., Dagand, P-E., Mcbride, C. & Morris, P., 2010, ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. Hudak, P. (ed.). New York, p. 3-14 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    20 Citations (Scopus)