Type-safe functional strategies. Manuscript in preparation. Preliminary version (2000)

by R Lammel, J Visser
Venue:in draft proceedings of the Scottish Functional Programming Workshop, St