Type-safe Functional Strategies (2000)

by Ralf Lammel , Joost Visser
Venue:In Draft proc. of SFP'00, St
Citations:12 - 6 self