@article{IR,
      recid = {3779},
      author = {Taha, Walid},
      title = {Multi-stage programming: axiomatization and type safety},
      address = {1998},
      number = {IR},
      abstract = {cse-98-002},
      url = {http://digitalcollections.ohsu.edu/record/3779},
      doi = {https://doi.org/10.6083/pr76f369j},
}