Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P.
EPSRC
20/05/13 → 19/11/20
Project: Research