Sam Lindley

If you made any changes in Pure these will be visible here soon.
Chapter (peer-reviewed)

Search results

  • 2017

    Lightweight functional session types

    Lindley, S. & Morris, J. G., 17 Feb 2017, (Accepted/In press) Behavioural Types: from Theory to Tools. Gay, S. J. & Ravara, A. (eds.). River Publishers

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review