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]
No references recorded for this publication.
No citations of this publication recorded.