main.bib

@article{CLU,
  author    = {Liskov, Barbara and Atkinson, Russell R. and Bloom, Toby and Moss, Eliot B. and Schaffert, J. Craig and Schaffert, Robert and Snyder, Alan},
  title     = {{CLU Reference Manual}},
  year      = 1979,
  publisher = {Springer-Verlag},
  address   = {New York},
  volume    = 114,
  journal   = {Lecture Notes in Computer Science}
}

@techreport{Alphard,
  author      = {Wulf, William A. and London, Ralph L. and Shaw, Mary},
  institution = {USC Information Sciences Institute},
  title       = {{Abstraction and Verification in Alphard: Introduction to Language and Methodology}},
  year        = 1976,
  address     = {Los Angeles}
}

@inproceedings{not-sets,
  author    = {Morris, James H.},
  booktitle = {Proceedings of the 1st ACM Symposium on Principles of Programming Languages},
  title     = {{Types are not Sets}},
  year      = 1973,
  pages     = {120--124},
  location  = {Boston},
}

@inproceedings{polymorphism,
  author    = {Reynolds, John C.},
  booktitle = {Programming Symposium: Proceedings, Colloque sur la Programmation},
  title     = {{Towards a Theory of Type Structure}},
  series    = {Lecture Notes in Computer Science},
  year      = 1974,
  publisher = {Springer-Verlag},
  address   = {New York},
  pages     = {408--425},
  volume    = 19
}

@phdthesis{polytype,
  author = {McCracken, Nancy J.},
  school = {Syracuse University},
  title  = {{An Investigation of a Programming Language with a Polymorphic Type Structure}},
  year   = 1979,
  month  = Jun,
  type   = {Ph. D. dissertation}
}

@techreport{retract,
  author      = {McCracken, Nancy J.},
  institution = {Syracuse University},
  title       = {{A Finitary Retract Model for the Polymorphic Lambda-Calculus}},
  year        = 1982,
  note        = {Submitted to \textit{Information and Control}},
}

@inproceedings{applicative,
  author    = {MacQueen, D. B. and Sethi, Ravi},
  booktitle = {Proceedings of the 1982 ACM Symposium on LISP and Functional Programming},
  title     = {{A Semantic Model of Types for Applicative Languages}},
  year      = 1982,
  pages     = {243-252}
}

@techreport{repindep,
  author      = {Haynes, Christopher T.},
  institution = {Department of Computer Science, University of Iowa},
  title       = {{A Theory of Data Type Representation Independence}},
  year        = 1982,
  month       = Dec,
  number      = {82-04}
}

@inproceedings{polydata,
  author    = {Leivant, Daniel},
  booktitle = {Proceedings of the 10th ACM Symposium on Principles of Programming Languages},
  title     = {{Structural Semantics for Polymorphic Data Types (Preliminary Report)}},
  year      = 1983,
  month     = Jan,
  pages     = {155-166},
  location  = {Austin, Texas}
}

@article{ADTs-GH,
  author  = {Guttag, J. V. and Horning, J. J.},
  journal = {Acta Informatica},
  number  = 1,
  title   = {{The Algebraic Specification of Abstract Data Types}},
  volume  = 10,
  year    = 1978,
  pages   = {27--52}
}

@article{ADTs-GTW,
  author    = {Goguen, Joseph A. and Thatcher, James W. and Wagner, Eric G.},
  journal   = {Current Trends in Programming Methodology},
  title     = {{Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types}},
  volume    = {4: Data Structuring},
  year      = 1978,
  publisher = {Prentice-Hall},
  address   = {Englewood Cliffs},
  editor    = {Yeh, Raymond T.}
}

@techreport{ADTs-Kapur,
  author      = {Kapur, Deepak},
  institution = {Laboratory for Computer Science, MIT},
  title       = {{Towards a Theory for Abstract Data Types}},
  year        = 1980,
  month       = May,
  number      = {TR-237}
}

@incollection{definability,
  author    = {Plotkin, Gordon D.},
  editor    = {Seldin, Jonathan P. and Hindley, James R.},
  pages     = {363--373},
  publisher = {Academic Press},
  title     = {{Lambda-Definability in the Full Type Hierarchy}},
  year      = 1980,
  booktitle = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism},
}

@phdthesis{SystemF,
  author  = {Girard, Jean-Yves},
  school  = {Universit\'e Paris VII},
  title   = {{Interpr\'etation Fonctionelle et \'Elimination des Coupures dans l'Arithm\'etique d'Ordre Sup\'erieur}},
  year    = 1972,
  type    = {{Th\`eses de Doctorat d'\'Etat}},
  address = {Paris}
}

@misc{fundamental,
  author = {Strachey, Christopher},
  title  = {{Fundamental Concepts in Programming Languages}},
  year   = 1967,
  month  = Aug,
  note   = {Lecture Notes, International Summer School in Computer Programming, Copenhagen}
}

@inproceedings{intuitionistic,
  author    = {Kripke, Saul A.},
  booktitle = {Formal Systems and Recursive Functions, Proceedings of the 8th Logic Colloquium, Oxford, 1963},
  title     = {{Semantical Analysis of Intuitionistic Logic I}},
  year      = 1965,
  publisher = {North-Holland},
  address   = {Amsterdam}
}

@inproceedings{compilergen,
  author    = {Reynolds, John C.},
  booktitle = {Semantics-Directed Compiler Generation, Proceedings of a Workshop},
  title     = {{Using Category Theory to Design Implicit Conversion and Generic Operators}},
  series    = {Lecture Notes in Computer Science},
  volume    = 94,
  editor    = {Jones, N. D.},
  year      = 1980,
  month     = Jan,
  publisher = {Springer-Verlag},
  address   = {New York},
  location  = {Aarhus, Denmark}
}

@incollection{Algol,
  author    = {Reynolds, John C.},
  booktitle = {Algorithmic Languages},
  publisher = {North-Holland},
  title     = {{The Essence of Algol}},
  year      = 1981,
  address   = {Amsterdam},
  pages     = {345--372},
  editor    = {de Bakker, J. W. and van Vliet, J. C.},
}

@phdthesis{catpl,
  author = {Oles, Frank J.},
  school = {Syracuse University},
  title  = {{A Category-Theoretic Approach to the Semantics of Programming Languages}},
  year   = 1982,
  month  = Aug,
  type   = {{Ph.D. dissertation}}
}

@book{craft,
  author    = {Reynolds, John C.},
  publisher = {Prentice-Hall International},
  title     = {{The Craft of Programming}},
  year      = 1981,
  address   = {London}
}