bcp.bib

@PREAMBLE{{\newcommand{\SortNoop}[1]{}}}

@ARTICLE{Landin66,
  AUTHOR = {Peter J. Landin},
  TITLE = {The Next 700 Programming Languages},
  JOURNAL = {Communications of the {ACM}},
  VOLUME = 9,
  NUMBER = 3,
  MONTH = MAR,
  YEAR = 1966,
  PAGES = {157--166},
  CHECKED = {Yes}
}

@ARTICLE{Milner78,
  KEY = {Milner78},
  AUTHOR = {Robin Milner},
  TITLE = {A Theory of Type Polymorphism in Programming},
  JOURNAL = {Journal of Computer and System Sciences},
  VOLUME = {17},
  MONTH = AUG,
  YEAR = {1978},
  PAGES = {348--375},
  SOURCE = {ergobib},
  CHECKED = {Not checked}
}

@ARTICLE{Plotkin:CallByNameCallByValue,
  AUTHOR = {Gordon Plotkin},
  TITLE = {Call-by-name, Call-by-value, and the $\lambda$-Calculus},
  JOURNAL = {Theoretical Computer Science},
  VOLUME = {1},
  PAGES = {125--159},
  YEAR = {1975}
}

@INPROCEEDINGS{REYNOLDS74,
  KEY = {Reynolds74},
  AUTHOR = {John C. Reynolds},
  TITLE = {Towards a Theory of Type Structure},
  BOOKTITLE = {Colloque sur la Programmation, Paris, France},
  PUBLISHER = {Springer-Verlag},
  OPTADDRESS = {New York},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = 19,
  YEAR = {1974},
  PAGES = {408--425},
  SOURCE = {From ergobib},
  CHECKED = {Not checked}
}

@ARTICLE{Hoare69,
  AUTHOR = {Hoare, C. A. R.},
  TITLE = {An Axiomatic Basis for Computer Programming},
  JOURNAL = {Communications of the ACM},
  MONTH = {October},
  VOLUME = {12},
  NUMBER = {10},
  YEAR = {1969},
  REPRINT = {Reprinted in \authorcite{Gries} \crosscite[pages~89--100]{GRIES78}},
  PAGES = {576--580 and 583},
  CHECKED = {24 August 1990 by JCR},
  UPDATED = {12 May 1997 by JCR}
}