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

Wadler, Philip (Principal Investigator)

School of Informatics

Status	Finished
Effective start/end date	20/05/13 → 19/11/20

Funding

EPSRC: £4,945,110.00

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

Separating Sessions Smoothly
Fowler, S., Kokke, W., Dardha, O., Lindley, S. & Morris, J. G., 12 Jul 2023, In: Logical Methods in Computer Science. 19, 3, p. 1-52 52 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Blame and coercion: Together again for the first time
Siek, J. G., Thiemann, P. & Wadler, P., 13 Oct 2021, In: Journal of Functional Programming. 31, 56 p., e20.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Separating Sessions Smoothly
Fowler, S., Kokke, W., Dardha, O., Lindley, S. & Morris, J. G., 13 Aug 2021, 32nd International Conference on Concurrency Theory (CONCUR 2021). Haddad, S. & Varacca, D. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:18 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 203).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File