1. Pure iso-type systems. (2019) Authors: YANG, YANPENG; OLIVEIRA, BRUNO C. D. S. 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) ↗