"First-Class Contexts in ML."

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