Nancy McCracken. The Typechecking of Programs with Implicit Type Structure. In Gilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Volume 173 of Lecture Notes in Computer Science, pages 301-315, Springer, 1984.
@inproceedings{McCracken84, title = {The Typechecking of Programs with Implicit Type Structure}, author = {Nancy McCracken}, year = {1984}, researchr = {https://researchr.org/publication/McCracken84}, cites = {0}, citedby = {0}, pages = {301-315}, booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings}, editor = {Gilles Kahn and David B. MacQueen and Gordon D. Plotkin}, volume = {173}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-13346-1}, }