BibTeX record conf/ifip/Henderson77

download as .bib file

@inproceedings{DBLP:conf/ifip/Henderson77,
  author    = {Peter Henderson},
  title     = {An Approach to Compile-Time Type Checking},
  booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
               Toronto, Canada, August 8-12, 1977},
  pages     = {523--527},
  year      = {1977},
  crossref  = {DBLP:conf/ifip/1977},
  timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/Henderson77},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/1977,
  editor    = {Bruce Gilchrist},
  title     = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
               Toronto, Canada, August 8-12, 1977},
  publisher = {North-Holland},
  year      = {1977},
  isbn      = {0-7204-0755-9},
  timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/1977},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics