Sannella D. and A. Tarlecki "Extended ML: an institution-independent framework for formal program development" in Proc. Workshop on Category Theory and Computer Programming, pages 364-389. Springer LNCS 240, 1986.

(1986)

Languages mentioned