Type-safe Functional Strategies (2000)

by Ralf Lammel, Joost Visser
Venue:In Draft proc. of SFP'00, St