000003936 001__ 3936
000003936 005__ 20230817172222.0
000003936 0247_ $$2DOI$$a10.6083/ks65hc53c
000003936 037__ $$aIR
000003936 245__ $$aA sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)
000003936 269__ $$a1999
000003936 336__ $$aArticle
000003936 520__ $$acse-99-014
000003936 540__ $$fCC BY
000003936 542__ $$fIn copyright - single owner
000003936 691__ $$aOregon Graduate Institute
000003936 7001_ $$aTaha, Walid
000003936 8564_ $$9729ae297-45f1-4bcf-baa5-3602b8cf97c6$$s346494$$uhttps://digitalcollections.ohsu.edu/record/3936/files/csetech-253.pdf
000003936 905__ $$a/rest/prod/ks/65/hc/53/ks65hc53c
000003936 980__ $$aScholars Archive