@phdthesis{DBLP:phd/us/Hook88,
 author = {James Hook},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/phd/us/Hook88.bib},
 school = {Cornell University, USA},
 timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
 title = {Abstract Types & Dependence in Programming Languages},
 year = {1988}
}