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

Document Versions

Sage: Hybrid checking for flexible specifications –Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, Cormac Flanagan — 2006 — In Scheme and Functional Programming Workshop
Sage: Hybrid checking for flexible specifications –Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, Cormac Flanagan — 2006 — In Scheme and Functional Programming Workshop
Sage: Hybrid checking for flexible specifications –Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, Cormac Flanagan — 2006 — Scheme and Functional Programming Workshop
Sage: Hybrid checking for flexible specifications –Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, Cormac Flanagan — 2006 — In Scheme and Functional Programming Workshop