Type Systems for Programming Languages. Mitchell, J. C. In Formal Models and Semantics, pages 365-458. Elsevier. Paper doi bibtex @incollection{mitchellTypeSystemsProgramming1990,
langid = {english},
title = {Type {{Systems}} for {{Programming Languages}}},
isbn = {978-0-444-88074-1},
url = {https://linkinghub.elsevier.com/retrieve/pii/B9780444880741500135},
booktitle = {Formal {{Models}} and {{Semantics}}},
publisher = {{Elsevier}},
urldate = {2019-03-07},
date = {1990},
pages = {365-458},
author = {Mitchell, John C.},
file = {/home/dimitri/Nextcloud/Zotero/storage/CMXVGCJH/pierce_type_systems.pdf},
doi = {10.1016/B978-0-444-88074-1.50013-5}
}
Downloads: 0
{"_id":"6sLvXu9byzxNgfMPG","bibbaseid":"mitchell-typesystemsforprogramminglanguages","authorIDs":[],"author_short":["Mitchell, J. C."],"bibdata":{"bibtype":"incollection","type":"incollection","langid":"english","title":"Type Systems for Programming Languages","isbn":"978-0-444-88074-1","url":"https://linkinghub.elsevier.com/retrieve/pii/B9780444880741500135","booktitle":"Formal Models and Semantics","publisher":"Elsevier","urldate":"2019-03-07","date":"1990","pages":"365-458","author":[{"propositions":[],"lastnames":["Mitchell"],"firstnames":["John","C."],"suffixes":[]}],"file":"/home/dimitri/Nextcloud/Zotero/storage/CMXVGCJH/pierce_type_systems.pdf","doi":"10.1016/B978-0-444-88074-1.50013-5","bibtex":"@incollection{mitchellTypeSystemsProgramming1990,\n langid = {english},\n title = {Type {{Systems}} for {{Programming Languages}}},\n isbn = {978-0-444-88074-1},\n url = {https://linkinghub.elsevier.com/retrieve/pii/B9780444880741500135},\n booktitle = {Formal {{Models}} and {{Semantics}}},\n publisher = {{Elsevier}},\n urldate = {2019-03-07},\n date = {1990},\n pages = {365-458},\n author = {Mitchell, John C.},\n file = {/home/dimitri/Nextcloud/Zotero/storage/CMXVGCJH/pierce_type_systems.pdf},\n doi = {10.1016/B978-0-444-88074-1.50013-5}\n}\n\n","author_short":["Mitchell, J. C."],"key":"mitchellTypeSystemsProgramming1990","id":"mitchellTypeSystemsProgramming1990","bibbaseid":"mitchell-typesystemsforprogramminglanguages","role":"author","urls":{"Paper":"https://linkinghub.elsevier.com/retrieve/pii/B9780444880741500135"},"downloads":0},"bibtype":"incollection","biburl":"https://raw.githubusercontent.com/dlozeve/newblog/master/bib/all.bib","creationDate":"2020-01-08T20:39:39.284Z","downloads":0,"keywords":[],"search_terms":["type","systems","programming","languages","mitchell"],"title":"Type Systems for Programming Languages","year":null,"dataSources":["3XqdvqRE7zuX4cm8m"]}