1. Explicit effect subtyping. (8th June 2020) Authors: KARACHALIAS, GEORGIOS; PRETNAR, MATIJA; SALEH, AMR HANY; VANDERHALLEN, STIEN; SCHRIJVERS, TOM Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗