"First-Class Contexts in ML."

Masatomo Hashimoto (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics