Sava Mintchev. Mechanized Reasoning about Functional Programs. In Kevin Hammond, David N. Turner, Patrick M. Sansom, editors, Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, pages 151-166, Springer, 1994. [doi]
Abstract is missing.