From Data Types to Session Types - A Basis for Concurrency and Distribution

Wadler, Philip (Principal Investigator)

School of Informatics

42 Conference contribution
23 Article
1 Book
1 Chapter
More
- 1 Paper

1 results

Filter

2020
λdB: Blame tracking at higher fidelity
Zalewski, J., Mckinna, J., Morris, J. G. & Wadler, P., 25 Jan 2020. 22 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
File