@article{BAHR_2015,
    doi = {10.1017/s0956796815000180},
    url = {https://doi.org/10.1017%2Fs0956796815000180},
    year = {2015},
    publisher = {Cambridge University Press ({CUP})},
    volume = {25},
    author = {PATRICK BAHR and GRAHAM HUTTON},
    title = {Calculating correct compilers},
    journal = {Journal of Functional Programming}
}

@article{BAHR_2015, doi = {10.1017/s0956796815000180}, url = {https://doi.org/10.1017%2Fs0956796815000180}, year = {2015}, publisher = {Cambridge University Press ({CUP})}, volume = {25}, author = {PATRICK BAHR and GRAHAM HUTTON}, title = {Calculating correct compilers}, journal = {Journal of Functional Programming} }