A. J. Kfoury. Type theory and rewriting theory for expressive, efficient and reliable programming languages. ACM SIGSOFT Software Engineering Notes, 25(1):61-62, 2000. [doi]
@article{Kfoury00-0, title = {Type theory and rewriting theory for expressive, efficient and reliable programming languages}, author = {A. J. Kfoury}, year = {2000}, doi = {10.1145/340855.340968}, url = {http://doi.acm.org/10.1145/340855.340968}, researchr = {https://researchr.org/publication/Kfoury00-0}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {25}, number = {1}, pages = {61-62}, }