Sannella D. and Tarlecki. A. "Extended ML: an institution-independent framework for formal program development". Proc. Workshop on Category Theory and Computer Programming, Guildford, 1985. Springer LNCS 240, 364-389 (1986). (1986) |
Languages mentioned
- EML {1985} ML Specification language
|
|