Type-safe functional strategies (2000)

by Ralf Lammel, Joost Visser
Venue:In In Scottish Functional Programming Workshop