"Functorial ML."

Gianna Bellè, C. Barry Jay, Eugenio Moggi (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics