@article{IR,
      author = {Taha, Walid},
      url = {http://digitalcollections.ohsu.edu/record/3777},
      title = {On type-directed partial evaluation},
      abstract = {cse-97-011},
      number = {IR},
      doi = {https://doi.org/10.6083/hx11xf61p},
      recid = {3777},
      address = {1997},
}