Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions

F. Nielson, H. Riis Nielson

TypeJournal paper [With referee]
JournalACM Transactions on Programming Languages and Systems
Year1986    Vol. 8    No. 3    pp. 406-407
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering