Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones. On the Equivalence Between CMC and TIM. Journal of Functional Programming, 4(1):47-63, 1994.
@article{LinsTJ94,
title = {On the Equivalence Between CMC and TIM},
author = {Rafael Dueire Lins and Simon J. Thompson and Simon L. Peyton Jones},
year = {1994},
researchr = {https://researchr.org/publication/LinsTJ94},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {4},
number = {1},
pages = {47-63},
}