Applicative Notions in ML-like Programs (1998)

by Budi Halim Ling