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

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