ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Type Checking in an Imperfect World.

Terrence C. Miller: Type Checking in an Imperfect World. POPL 1979: 237-243
@inproceedings{DBLP:conf/popl/Miller79,
  author    = {Terrence C. Miller},
  title     = {Type Checking in an Imperfect World},
  booktitle = {POPL},
  year      = {1979},
  pages     = {237-243},
  ee        = {db/conf/popl/Miller79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Copyright © 1979 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


BibTeX

Printed Edition

Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979. ACM 1979 BibTeX
Contents

Online Edition: ACM Digital Library


BibTeX

Copyright © Sat May 16 23:34:35 2009 by Michael Ley (ley@uni-trier.de)