000003777 001__ 3777 000003777 005__ 20230817172222.0 000003777 0247_ $$2DOI$$a10.6083/hx11xf61p 000003777 037__ $$aIR 000003777 245__ $$aOn type-directed partial evaluation 000003777 269__ $$a1997 000003777 336__ $$aArticle 000003777 520__ $$acse-97-011 000003777 540__ $$fCC BY 000003777 542__ $$fIn copyright - single owner 000003777 691__ $$aOregon Graduate Institute 000003777 7001_ $$aTaha, Walid 000003777 8564_ $$9afcf2062-ff03-4245-bb8a-76a296608e93$$s108290$$uhttps://digitalcollections.ohsu.edu/record/3777/files/csetech-94.pdf 000003777 905__ $$a/rest/prod/hx/11/xf/61/hx11xf61p 000003777 980__ $$aScholars Archive