Sage: Hybrid checking for flexible specifications (2006)

by J Gronski, K Knowles, A Tomb, S N Freund, C Flanagan
Venue:In Scheme and Functional Programming Workshop