Functorial ML (1996)

by G. Belle, C. B. Jay, E. Moggi