1. Blame and coercion: Together again for the first time. (13th October 2021) Authors: SIEK, JEREMY G.; THIEMANN, PETER; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Gradual session types. (2019) Authors: IGARASHI, ATSUSHI; THIEMANN, PETER; TSUDA, YUYA; VASCONCELOS, VASCO T.; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗