Non-dependent types for Standard ML modules (1999)

by C V RUSSO
Venue:In Principles and Practice of Declarative Programming (PPDP