@article{IR,
      recid = {3936},
      author = {Taha, Walid},
      title = {A sound reduction semantics for untyped CBN multi-stage  computation. Or, the theory of MetaML is non-trivial  (preliminary Report)},
      address = {1999},
      number = {IR},
      abstract = {cse-99-014},
      url = {http://digitalcollections.ohsu.edu/record/3936},
      doi = {https://doi.org/10.6083/ks65hc53c},
}