Sam Lindley – Research output — University of Edinburgh Research Explorer

View Scopus Profile

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

39 Conference contribution
14 Article
1 Book
1 Chapter
More

1 results

Filter

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 proceeding › Chapter (peer-reviewed) › peer-review