Towards a Theory of Type Structure. Reynolds, J. C. In Programming Symposium, Proceedings Colloque Sur La Programmation, pages 408–423, Berlin, Heidelberg, April, 1974. Springer-Verlag. Publisher: Springer-Verlag ISBN: 3-540-06859-7 Citation Key Alias: reynolds1974
Towards a Theory of Type Structure [link]Paper  bibtex   
@inproceedings{reynolds_towards_1974,
	address = {Berlin, Heidelberg},
	title = {Towards a {Theory} of {Type} {Structure}},
	isbn = {978-3-540-06859-4},
	url = {http://dl.acm.org/citation.cfm?id=647323.721503},
	urldate = {2019-09-24},
	booktitle = {Programming {Symposium}, {Proceedings} {Colloque} {Sur} {La} {Programmation}},
	publisher = {Springer-Verlag},
	author = {Reynolds, John C.},
	month = apr,
	year = {1974},
	note = {Publisher: Springer-Verlag
ISBN: 3-540-06859-7
Citation Key Alias: reynolds1974},
	pages = {408--423}
}

Downloads: 0