Sage: Practical hybrid checking for expressive types and specifications (2006)

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