Extended ML: an institution-independent framework for formal program development (1986)

by D Sannella, A Tarlecki
Venue:Proc. Workshop on Category Theory and Computer Programming