@inproceedings{ russo99nondependent,
    author = "Claudio V. Russo",
    title = "Non-dependent Types for Standard {ML} Modules",
    booktitle = "Principles and Practice of Declarative Programming",
    pages = "80-97",
    year = "1999",
    url = "citeseer.nj.nec.com/russo99nondependent.html" }