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) ↗
2. Deletion: The curse of the red-black tree. Issue 4 (11th September 2014) Authors: GERMANE, KIMBALL; MIGHT, MATTHEW Journal: Journal of functional programming Issue: Volume 24:Issue 4(2014) Page Start: 423 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Deletion: The curse of the red-black tree. Issue 4 (July 2014) Authors: GERMANE, KIMBALL; MIGHT, MATTHEW Journal: Journal of functional programming Issue: Volume 24:Issue 4(2014) Page Start: 423 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Pushdown flow analysis with abstract garbage collection. Issue 2 (21st May 2014) Authors: JOHNSON, J. IAN; SERGEY, ILYA; EARL, CHRISTOPHER; MIGHT, MATTHEW; VAN HORN, DAVID Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 218 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Pushdown flow analysis with abstract garbage collection. Issue 2 (21st May 2014) Authors: JOHNSON, J. IAN; SERGEY, ILYA; EARL, CHRISTOPHER; MIGHT, MATTHEW; VAN HORN, DAVID Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 218 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗