{"id":"https://openalex.org/W1967041135","doi":"https://doi.org/10.1145/641888.641889","title":"Intensional analysis of quantified types","display_name":"Intensional analysis of quantified types","publication_year":2003,"publication_date":"2003-03-01","ids":{"openalex":"https://openalex.org/W1967041135","doi":"https://doi.org/10.1145/641888.641889","mag":"1967041135"},"language":"en","primary_location":{"id":"doi:10.1145/641888.641889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/641888.641889","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/641888.641889","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/641888.641889","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111871445","display_name":"Bratin Saha","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Bratin Saha","raw_affiliation_strings":["Yale University, New Haven, CT","YALE UNIVERSITY, New Haven, CT"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"YALE UNIVERSITY, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112263460","display_name":"Valery Trifonov","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valery Trifonov","raw_affiliation_strings":["Yale University, New Haven, CT","YALE UNIVERSITY, New Haven, CT"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"YALE UNIVERSITY, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070627140","display_name":"Zhong Shao","orcid":"https://orcid.org/0000-0001-8184-7649"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhong Shao","raw_affiliation_strings":["Yale University, New Haven, CT","YALE UNIVERSITY, New Haven, CT"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"YALE UNIVERSITY, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111871445"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":1.8274,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.86928454,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"25","issue":"2","first_page":"159","last_page":"209"},"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.9995999932289124,"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.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9891999959945679,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8704568147659302},{"id":"https://openalex.org/keywords/marshalling","display_name":"Marshalling","score":0.7272195816040039},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.7235777378082275},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6993252038955688},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.5864682793617249},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5780702233314514},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.4864182472229004},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4714796543121338},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.43720367550849915},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4364972412586212},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.31247103214263916},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3024073839187622}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8704568147659302},{"id":"https://openalex.org/C206019424","wikidata":"https://www.wikidata.org/wiki/Q373671","display_name":"Marshalling","level":2,"score":0.7272195816040039},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.7235777378082275},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6993252038955688},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.5864682793617249},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5780702233314514},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.4864182472229004},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4714796543121338},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.43720367550849915},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4364972412586212},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.31247103214263916},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3024073839187622},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/641888.641889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/641888.641889","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/641888.641889","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/641888.641889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/641888.641889","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/641888.641889","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1967041135.pdf","grobid_xml":"https://content.openalex.org/works/W1967041135.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W69024957","https://openalex.org/W137136619","https://openalex.org/W159715351","https://openalex.org/W1499522853","https://openalex.org/W1517052937","https://openalex.org/W1559765808","https://openalex.org/W1589846171","https://openalex.org/W1595372275","https://openalex.org/W1852211073","https://openalex.org/W1975957807","https://openalex.org/W1980939032","https://openalex.org/W1995594295","https://openalex.org/W2006125587","https://openalex.org/W2017112188","https://openalex.org/W2024398154","https://openalex.org/W2029684521","https://openalex.org/W2030916392","https://openalex.org/W2032777378","https://openalex.org/W2066166567","https://openalex.org/W2070179848","https://openalex.org/W2070430903","https://openalex.org/W2082367883","https://openalex.org/W2097166325","https://openalex.org/W2107821848","https://openalex.org/W2118227920","https://openalex.org/W2127818463","https://openalex.org/W2135248810","https://openalex.org/W2138875086","https://openalex.org/W2165264979","https://openalex.org/W2171691057","https://openalex.org/W2293033370","https://openalex.org/W2294928125","https://openalex.org/W2561675875","https://openalex.org/W6635495208","https://openalex.org/W6650828491","https://openalex.org/W6657817267","https://openalex.org/W6668210521","https://openalex.org/W6679315130","https://openalex.org/W6816928460"],"related_works":["https://openalex.org/W2117101101","https://openalex.org/W2352852854","https://openalex.org/W2252072495","https://openalex.org/W1996735704","https://openalex.org/W4233387348","https://openalex.org/W60185894","https://openalex.org/W3006608075","https://openalex.org/W2763815264","https://openalex.org/W3790221","https://openalex.org/W3006590528"],"abstract_inverted_index":{"Compilers":[0],"for":[1,32,110],"polymorphic":[2,19,56],"languages":[3],"can":[4],"use":[5],"run-time":[6,86],"type":[7,26,83],"inspection":[8],"to":[9,42,62,80],"support":[10],"advanced":[11],"implementation":[12],"techniques":[13],"such":[14,36,52,69],"as":[15,53,70],"tagless":[16],"garbage":[17,71],"collection,":[18,72],"marshalling,":[20],"and":[21,34,107],"flattened":[22],"data":[23],"structures.":[24],"Intensional":[25],"analysis":[27,44,97],"is":[28,132],"a":[29,65,90,135],"type-theoretic":[30],"framework":[31],"expressing":[33],"certifying":[35],"type-analyzing":[37],"computations.":[38],"Unfortunately,":[39],"existing":[40],"approaches":[41],"intensional":[43],"do":[45],"not":[46],"work":[47],"well":[48],"on":[49,119],"quantified":[50,99,112,120],"types":[51,121],"existential":[54],"or":[55,74],"types.":[57,100,113],"This":[58],"makes":[59],"it":[60],"impossible":[61],"code":[63],"(in":[64],"type-safe":[66],"language)":[67],"applications":[68],"persistency,":[73],"marshalling":[75],"which":[76],"must":[77],"be":[78],"able":[79],"examine":[81],"the":[82,96],"of":[84,98],"any":[85],"value.":[87],"We":[88,126],"present":[89],"typed":[91],"intermediate":[92],"language":[93],"that":[94,129],"supports":[95,116],"In":[101],"particular,":[102],"we":[103],"provide":[104],"both":[105],"type-level":[106],"term-level":[108],"constructs":[109],"analyzing":[111],"Our":[114],"system":[115,131],"structural":[117],"induction":[118],"yet":[122],"type-checking":[123],"remains":[124],"decidable.":[125],"also":[127],"show":[128],"our":[130],"compatible":[133],"with":[134],"type-erasure":[136],"semantics.":[137]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}