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

Search results

  • 2010

    A located lambda calculus

    Wadler, P. & Cooper, E., 7 Sep 2010, (Unpublished) p. 10, 10 p.

    Research output: Working paper

    File
  • 2007

    An idiom’s guide to formlets

    Cooper, E., Lindley, S., Wadler, P. & Yallop, J., 2007, 22 p.

    Research output: Working paper

    File