@inproceedings{Riecke91,
  title = {Fully Abstract Translations between Functional Languages},
  author = {Jon G. Riecke},
  year = {1991},
  tags = {translation},
  researchr = {https://researchr.org/publication/Riecke91},
  cites = {0},
  citedby = {0},
  pages = {245-254},
  booktitle = {POPL},
}