1. Abstract allocation as a unified approach to polyvariance in control-flow analyses. (1st August 2018) Authors: GILRAY, THOMAS; ADAMS, MICHAEL D.; MIGHT, MATTHEW Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗