Sannella D. and A. Tarlecki. Program specification and development in Standard ML. In Proceedings of the 12th ACM Symposium on Principles of Programming Languages, pages 67-77, 1985

(1985)

Languages mentioned