Contracts for first-class modules (2009)

by T Stephen Strickland, Matthias Felleisen
Venue:In Proceedings of the 5th symposium on Dynamic languages, DLS ’09