Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach (2005)

by K Hammond
Venue:In: Central European Summer School on Functional Programming