BibTeX
@inproceedings{DBLP:conf/sdt/Haynes84,
author = {Christopher T. Haynes},
title = {A Theory of Data Type Representation Independence},
booktitle = {Semantics of Data Types},
year = {1984},
pages = {157-175},
crossref = {DBLP:conf/sdt/1984},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sdt/1984,
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
booktitle = {Semantics of Data Types},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {173},
year = {1984},
isbn = {3-540-13346-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-10-09 by Michael Ley (ley@uni-trier.de)