1. Denotational semantics as a foundation for cost recurrence extraction for functional languages. (5th July 2022) Authors: DANNER, NORMAN; LICATA, DANIEL R. Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗