Programming Symposium. Böhm, C., Dezani-Ciancaglini, M., & Ronchi Della Rocca, S. 19:266–279. Paper doi abstract bibtex The type structure of programming languages has been the subject of an active development characterized by continued controversy over basic principles. In this paper, we formalize a view of these principles somewhat similar to that of J. H. Morris. We introduce an extension of the typed lambda calculus which permits user-defined types and polymorphic functions, and show that the semantics of this language satisfies a representation theorem which embodies our notion of a `correct' type structure.
@article{bohmProgrammingSymposium1974,
title = {Programming {{Symposium}}},
volume = {19},
issn = {1098-6596},
url = {http://www.springerlink.com/index/10.1007/3-540-06859-7},
doi = {10.1007/3-540-06859-7},
abstract = {The type structure of programming languages has been the subject of an active development characterized by continued controversy over basic principles. In this paper, we formalize a view of these principles somewhat similar to that of J. H. Morris. We introduce an extension of the typed lambda calculus which permits user-defined types and polymorphic functions, and show that the semantics of this language satisfies a representation theorem which embodies our notion of a `correct' type structure.},
journaltitle = {Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974},
date = {1974},
pages = {266--279},
keywords = {types},
author = {Böhm, Corrado and Dezani-Ciancaglini, Mariangiola and Ronchi Della Rocca, Simona},
file = {/home/dimitri/Nextcloud/Zotero/storage/BUVHWJQU/Reynolds - 1974 - Towards a theory of type structure.pdf},
eprinttype = {pmid},
eprint = {25246403}
}
Downloads: 0
{"_id":"Z6SAFXKjHittmZX5h","bibbaseid":"bhm-dezaniciancaglini-ronchidellarocca-programmingsymposium","authorIDs":[],"author_short":["Böhm, C.","Dezani-Ciancaglini, M.","Ronchi Della Rocca, S."],"bibdata":{"bibtype":"article","type":"article","title":"Programming Symposium","volume":"19","issn":"1098-6596","url":"http://www.springerlink.com/index/10.1007/3-540-06859-7","doi":"10.1007/3-540-06859-7","abstract":"The type structure of programming languages has been the subject of an active development characterized by continued controversy over basic principles. In this paper, we formalize a view of these principles somewhat similar to that of J. H. Morris. We introduce an extension of the typed lambda calculus which permits user-defined types and polymorphic functions, and show that the semantics of this language satisfies a representation theorem which embodies our notion of a `correct' type structure.","journaltitle":"Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974","date":"1974","pages":"266–279","keywords":"types","author":[{"propositions":[],"lastnames":["Böhm"],"firstnames":["Corrado"],"suffixes":[]},{"propositions":[],"lastnames":["Dezani-Ciancaglini"],"firstnames":["Mariangiola"],"suffixes":[]},{"propositions":[],"lastnames":["Ronchi","Della","Rocca"],"firstnames":["Simona"],"suffixes":[]}],"file":"/home/dimitri/Nextcloud/Zotero/storage/BUVHWJQU/Reynolds - 1974 - Towards a theory of type structure.pdf","eprinttype":"pmid","eprint":"25246403","bibtex":"@article{bohmProgrammingSymposium1974,\n title = {Programming {{Symposium}}},\n volume = {19},\n issn = {1098-6596},\n url = {http://www.springerlink.com/index/10.1007/3-540-06859-7},\n doi = {10.1007/3-540-06859-7},\n abstract = {The type structure of programming languages has been the subject of an active development characterized by continued controversy over basic principles. In this paper, we formalize a view of these principles somewhat similar to that of J. H. Morris. We introduce an extension of the typed lambda calculus which permits user-defined types and polymorphic functions, and show that the semantics of this language satisfies a representation theorem which embodies our notion of a `correct' type structure.},\n journaltitle = {Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974},\n date = {1974},\n pages = {266--279},\n keywords = {types},\n author = {Böhm, Corrado and Dezani-Ciancaglini, Mariangiola and Ronchi Della Rocca, Simona},\n file = {/home/dimitri/Nextcloud/Zotero/storage/BUVHWJQU/Reynolds - 1974 - Towards a theory of type structure.pdf},\n eprinttype = {pmid},\n eprint = {25246403}\n}\n\n","author_short":["Böhm, C.","Dezani-Ciancaglini, M.","Ronchi Della Rocca, S."],"key":"bohmProgrammingSymposium1974","id":"bohmProgrammingSymposium1974","bibbaseid":"bhm-dezaniciancaglini-ronchidellarocca-programmingsymposium","role":"author","urls":{"Paper":"http://www.springerlink.com/index/10.1007/3-540-06859-7"},"keyword":["types"],"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/dlozeve/newblog/master/bib/all.bib","creationDate":"2020-01-08T20:39:39.052Z","downloads":0,"keywords":["types"],"search_terms":["programming","symposium","böhm","dezani-ciancaglini","ronchi della rocca"],"title":"Programming Symposium","year":null,"dataSources":["3XqdvqRE7zuX4cm8m"]}