Projects per year
Projects
- 1 Finished
Search results
-
Finished
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20
Project: Research
Shallow Effect Handlers
Daniel Hillerström, Sam Lindley
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution