Towards machine–checked compiler correctness for higher– order pure functional languages (1995)

by D Lester, S Mintchev
Venue:Proceedings of the 1994 Annual Conference of the European Association for Computer Science Logic