TY  - GEN
AB  - cse-99-014
AU  - Taha, Walid
DA  - 1999
DO  - 10.6083/ks65hc53c
DO  - DOI
ID  - 3936
L1  - https://digitalcollections.ohsu.edu/record/3936/files/csetech-253.pdf
L2  - https://digitalcollections.ohsu.edu/record/3936/files/csetech-253.pdf
L4  - https://digitalcollections.ohsu.edu/record/3936/files/csetech-253.pdf
LK  - https://digitalcollections.ohsu.edu/record/3936/files/csetech-253.pdf
N2  - cse-99-014
PY  - 1999
T1  - A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)
TI  - A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)
UR  - https://digitalcollections.ohsu.edu/record/3936/files/csetech-253.pdf
Y1  - 1999
ER  -