{"id":"https://openalex.org/W2293830332","doi":"https://doi.org/10.1145/2384616.2384675","title":"Constrained kinds","display_name":"Constrained kinds","publication_year":2012,"publication_date":"2012-10-19","ids":{"openalex":"https://openalex.org/W2293830332","doi":"https://doi.org/10.1145/2384616.2384675","mag":"2293830332"},"language":"en","primary_location":{"id":"doi:10.1145/2384616.2384675","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2384616.2384675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086114919","display_name":"Olivier Tardieu","orcid":"https://orcid.org/0000-0002-8377-6757"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Olivier Tardieu","raw_affiliation_strings":["IBM Research, Yorktown Heights, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research, Yorktown Heights, NY, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111998286","display_name":"Nathaniel Nystrom","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Nathaniel Nystrom","raw_affiliation_strings":["University of Lugano, Lugano, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lugano, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031700018","display_name":"Igor Peshansky","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Igor Peshansky","raw_affiliation_strings":["Google, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google, New York, NY, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110202556","display_name":"Vijay Saraswat","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Saraswat","raw_affiliation_strings":["IBM Research, Yorktown Heights, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research, Yorktown Heights, NY, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5194,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.6452732,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"811","last_page":"830"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6940268874168396},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6936296224594116},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6497769951820374},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.5278708338737488},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4924961030483246},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.48877498507499695},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45743706822395325},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4549103379249573},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4263409376144409},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.4116935133934021},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24785104393959045},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2065267264842987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6940268874168396},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6936296224594116},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6497769951820374},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5278708338737488},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4924961030483246},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.48877498507499695},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45743706822395325},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4549103379249573},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4263409376144409},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4116935133934021},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24785104393959045},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2065267264842987},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2384616.2384675","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2384616.2384675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W1527327679","https://openalex.org/W1558128491","https://openalex.org/W1564310313","https://openalex.org/W1569578717","https://openalex.org/W1571413858","https://openalex.org/W1595544871","https://openalex.org/W1602567617","https://openalex.org/W1644882639","https://openalex.org/W1739798036","https://openalex.org/W1874450173","https://openalex.org/W1967470145","https://openalex.org/W1968327162","https://openalex.org/W1969093922","https://openalex.org/W1972445726","https://openalex.org/W1972792083","https://openalex.org/W1986402635","https://openalex.org/W1993140586","https://openalex.org/W2005192022","https://openalex.org/W2025566524","https://openalex.org/W2027584005","https://openalex.org/W2033348393","https://openalex.org/W2035709547","https://openalex.org/W2035731741","https://openalex.org/W2056821525","https://openalex.org/W2057779758","https://openalex.org/W2062887328","https://openalex.org/W2068457689","https://openalex.org/W2095136535","https://openalex.org/W2101085206","https://openalex.org/W2102861015","https://openalex.org/W2102978864","https://openalex.org/W2106142143","https://openalex.org/W2106348655","https://openalex.org/W2115261880","https://openalex.org/W2117534212","https://openalex.org/W2127053650","https://openalex.org/W2137417304","https://openalex.org/W2141210774","https://openalex.org/W2157627245","https://openalex.org/W2170040775","https://openalex.org/W2293120350","https://openalex.org/W2295923951","https://openalex.org/W2437104397","https://openalex.org/W4243420859","https://openalex.org/W4243882797","https://openalex.org/W4245276232","https://openalex.org/W6631667398","https://openalex.org/W6894350138"],"related_works":["https://openalex.org/W2067317451","https://openalex.org/W2154771632","https://openalex.org/W4211085505","https://openalex.org/W3122478268","https://openalex.org/W2084758217","https://openalex.org/W408804804","https://openalex.org/W4231021675","https://openalex.org/W3086365953","https://openalex.org/W4226072953","https://openalex.org/W2392606101"],"abstract_inverted_index":{"Modern":[0],"object-oriented":[1,35,89],"languages":[2,90],"such":[3],"as":[4,46,94],"X10":[5],"require":[6],"a":[7,29,55,63,77],"rich":[8],"framework":[9,30,80],"for":[10,31,81,88],"types":[11,33],"capable":[12],"of":[13,54,72],"expressing":[14],"both":[15],"value-dependency":[16],"and":[17,19,60],"genericity,":[18],"supporting":[20],"pluggable,":[21],"domain-specific":[22],"extensions.":[23],"In":[24],"earlier":[25],"work,":[26],"we":[27],"presented":[28],"constrained":[32,95],"in":[34],"languages,":[36],"parametrized":[37],"by":[38],"an":[39,58],"underlying":[40],"constraint":[41,64],"system.":[42],"Types":[43],"are":[44,76],"viewed":[45,93],"formulas":[47],"C{c}":[48],"where":[49],"C":[50],"is":[51,62],"the":[52,66],"name":[53],"class":[56],"or":[57],"interface":[59],"c":[61],"on":[65],"immutable":[67],"instance":[68],"state":[69],"(the":[70],"properties)":[71],"C.":[73],"Constraint":[74],"systems":[75,87],"very":[78],"expressive":[79],"partial":[82],"information.":[83],"Many":[84],"(value-)dependent":[85],"type":[86],"can":[91],"be":[92],"types.":[96]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2016-06-24T00:00:00"}