Projects per year
Projects
- 2 Finished
Search results
-
Finished
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20
Project: Research
-
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
20/05/13 → 19/11/20
Project: Research