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

Search results

  • 2016

    Conflation confers concurrency

    Atkey, R., Lindley, S. & Morris, J. G., 28 Apr 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, Vol. 9600. p. 32-55 24 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    13 Citations (Scopus)
    48 Downloads (Pure)
  • 2008

    CoqJVM: an executable specification of the Java Virtual Machine using dependent types

    Atkey, R., 2008, Types for Proofs and Programs (TYPES 2007): Lecture Notes in Computer Science. [Berlin]: Springer, Vol. 4941. p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 4941).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    8 Citations (Scopus)
    1 Downloads (Pure)
  • 2006

    Parameterised notions of computation

    Atkey, R., 2006, Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP). London: British Computer Society, p. 1-15 (Electronic Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    13 Downloads (Pure)
  • 2004

    A lambda-calculus for resource separation

    Atkey, B., 2004, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004. Springer, p. 158-170 13 p. (Lecture Notes in Computer Science; vol. 3142).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    3 Citations (Scopus)
    6 Downloads (Pure)