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
A simple semantics for Haskell overloading
J. Garrett Morris
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution