Non-dependent types for Standard ML modules (1999)

by Claudio V Russo
Venue:In PPDP