Non-dependent Types for Standard ML Modules.

Claudio V. Russo Non-dependent Types for Standard ML Modules. 80-97 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#Russo99