Sage: Hybrid checking for flexible specifications (2006)

by Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , Cormac Flanagan
Venue:In Scheme and Functional Programming Workshop
Citations:27 - 1 self