Erik Meijer. More Advice on Proving a Compiler Correct: Improve a Correct Compiler. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 255-273, Springer, 1991.
@inproceedings{Meijer91,
title = {More Advice on Proving a Compiler Correct: Improve a Correct Compiler},
author = {Erik Meijer},
year = {1991},
tags = {compiler},
researchr = {https://researchr.org/publication/Meijer91},
cites = {0},
citedby = {0},
pages = {255-273},
booktitle = {Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991},
editor = {John Darlington and Roland Dietrich},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19735-4},
}