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