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:26 - 1 self