BibTeX
@inproceedings{DBLP:conf/lics/Wand88,
author = {Mitchell Wand},
title = {Corrigendum: Complete Type Inference for Simple Objects},
booktitle = {LICS},
year = {1988},
pages = {132},
crossref = {DBLP:conf/lics/LICS3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lics/LICS3,
title = {Proceedings, Third Annual Symposium on Logic in Computer
Science, 5-8 July 1988, Edinburgh, Scotland, UK},
booktitle = {LICS},
publisher = {IEEE Computer Society},
year = {1988},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)