Exploiting purely functional programming to obtain bounded resource behaviour: the Hume approach, in: Z (0)

by K Hammond
Venue:Horváth (Ed.), First Central European Summer School, CEFP 2005