Liberating Effects with Rows and Handlers

Daniel Hillerström, Sam Lindley

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

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