Complete Type Inference for Simple Objects. Wand, M. In Proc. 2nd IEEE Symposium on Logic in Computer Science, pages 37-44, 1987. Corrigendum, \lics3rd, 1988, page 132Paper abstract bibtex We consider the problem of strong typing for a model of object-oriented programming systems. These systems permit values which are records of other values, and in which fields inside these records are retrieved by name. We propose a type system which allows us to classify these kinds of values and to classify programs by the type of their result, as is usual in strongly-typed programming languages. Our type system has two important properties: it admits multiple inheritance, and it has a syntactically complete type inference system.
@InProceedings{Wand87b,
author = "Mitchell Wand",
title = "Complete Type Inference for Simple Objects",
booktitle = "Proc. 2nd IEEE Symposium on Logic in Computer Science",
year = "1987",
OPTeditor = "",
pages = "37-44",
OPTorganization = "",
OPTpublisher = "",
OPTaddress = "",
OPTmonth = "",
note = "{Corrigendum}, \lics{3rd}, 1988, page 132",
abstract = "We consider the problem of strong typing for a model
of object-oriented programming systems. These
systems permit values which are records of other
values, and in which fields inside these records are
retrieved by name. We propose a type system which
allows us to classify these kinds of values and to
classify programs by the type of their result, as is
usual in strongly-typed programming languages. Our
type system has two important properties: it admits
multiple inheritance, and it has a syntactically
complete type inference system.",
URL = wwwdir # {wand-lics-87.pdf},
}
Downloads: 0
{"_id":"8pHzRauP7HF8YBWRZ","bibbaseid":"wand-completetypeinferenceforsimpleobjects-1987","downloads":0,"creationDate":"2017-04-23T20:31:12.550Z","title":"Complete Type Inference for Simple Objects","author_short":["Wand, M."],"year":1987,"bibtype":"inproceedings","biburl":"http://www.ccs.neu.edu/home/wand/Bibliography.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mitchell"],"propositions":[],"lastnames":["Wand"],"suffixes":[]}],"title":"Complete Type Inference for Simple Objects","booktitle":"Proc. 2nd IEEE Symposium on Logic in Computer Science","year":"1987","opteditor":"","pages":"37-44","optorganization":"","optpublisher":"","optaddress":"","optmonth":"","note":"Corrigendum, \\lics3rd, 1988, page 132","abstract":"We consider the problem of strong typing for a model of object-oriented programming systems. These systems permit values which are records of other values, and in which fields inside these records are retrieved by name. We propose a type system which allows us to classify these kinds of values and to classify programs by the type of their result, as is usual in strongly-typed programming languages. Our type system has two important properties: it admits multiple inheritance, and it has a syntactically complete type inference system.","url":"http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf","bibtex":"@InProceedings{Wand87b,\n author = \t\"Mitchell Wand\",\n title = \t\"Complete Type Inference for Simple Objects\",\n booktitle = \t\"Proc. 2nd IEEE Symposium on Logic in Computer Science\",\n year = \t\"1987\",\n OPTeditor = \t\"\",\n pages = \t\"37-44\",\n OPTorganization = \t\"\",\n OPTpublisher = \t\"\",\n OPTaddress = \t\"\",\n OPTmonth = \t\"\",\n note = \t\"{Corrigendum}, \\lics{3rd}, 1988, page 132\",\n abstract = \"We consider the problem of strong typing for a model\n\t\t of object-oriented programming systems. These\n\t\t systems permit values which are records of other\n\t\t values, and in which fields inside these records are\n\t\t retrieved by name. We propose a type system which\n\t\t allows us to classify these kinds of values and to\n\t\t classify programs by the type of their result, as is\n\t\t usual in strongly-typed programming languages. Our\n\t\t type system has two important properties: it admits\n\t\t multiple inheritance, and it has a syntactically\n\t\t complete type inference system.\",\n URL = wwwdir # {wand-lics-87.pdf},\n}\n\n","author_short":["Wand, M."],"key":"Wand87b","id":"Wand87b","bibbaseid":"wand-completetypeinferenceforsimpleobjects-1987","role":"author","urls":{"Paper":"http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf"},"downloads":0,"html":""},"search_terms":["complete","type","inference","simple","objects","wand"],"keywords":[],"authorIDs":[],"dataSources":["zM8mNPR4ZkAHKtvDs"]}