@article{IR,
      author = {Bell, Jeffrey M.},
      url = {http://digitalcollections.ohsu.edu/record/3765},
      title = {Type-driven defunctionalization},
      abstract = {cse-96-009},
      number = {IR},
      doi = {https://doi.org/10.6083/p2676v79s},
      recid = {3765},
      address = {1996},
}