Total Functional Programming (2004)

by David Turner
Venue:Journal of Universal Computer Science