@phdthesis{us-300,
  title = {Representing Constructive Theories in High-Level Programming Languages},
  author = {Ryan Stansifer},
  year = {1985},
  researchr = {https://researchr.org/publication/us-300},
  cites = {0},
  citedby = {0},
  school = {Cornell University, USA},
}