cse-99-014
Title
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)
Creator
Taha, Walid
Date
1999
Content Type
Article
School
Oregon Graduate Institute
Record ID
3936
Record Created
2023-06-29