{"id":"https://openalex.org/W2052094697","doi":"https://doi.org/10.1145/263699.263738","title":"Minimal typings in atomic subtyping","display_name":"Minimal typings in atomic subtyping","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2052094697","doi":"https://doi.org/10.1145/263699.263738","mag":"2052094697"},"language":"en","primary_location":{"id":"doi:10.1145/263699.263738","doi":"https://doi.org/10.1145/263699.263738","is_oa":false,"landing_page_url":"https://doi.org/10.1145/263699.263738","pdf_url":null,"source":{"id":"https://openalex.org/S7407088133","display_name":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5081497785","display_name":"Jakob Rehof","orcid":"https://orcid.org/0000-0002-6023-8921","observed_orcids":["https://orcid.org/0000-0002-6023-8921"]},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jakob Rehof","raw_affiliation_strings":["DIKU, Dept. of Computer Science, Univ of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIKU, Dept. of Computer Science, Univ of Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5081497785"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":null,"apc_paid":null,"fwci":1.4745,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.78693931,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"278","last_page":"291"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11567","display_name":"semigroups and automata theory","score":0.0,"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"}},{"id":"https://openalex.org/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.5080000162124634},{"id":"https://openalex.org/keywords/constraint-sets","display_name":"constraint sets","score":0.8569999933242798},{"id":"https://openalex.org/keywords/exponential-lower-bounds","display_name":"exponential lower bounds","score":0.5839999914169312}],"concepts":[{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.8873502016067505},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.51521235704422},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2610793709754944}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/263699.263738","doi":"https://doi.org/10.1145/263699.263738","is_oa":false,"landing_page_url":"https://doi.org/10.1145/263699.263738","pdf_url":null,"source":{"id":"https://openalex.org/S7407088133","display_name":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.7950","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.7950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.diku.dk/diku/semantics/papers/D-286.ps.gz","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/0b9be1f0-74cb-11db-bee9-02004c4f4f50","doi":null,"is_oa":false,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/0b9be1f0-74cb-11db-bee9-02004c4f4f50","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Rehof, N J 1997, 'Minimal Typings in Atomic Subtyping', Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Prg, pp. 278-291.","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W9614445","https://openalex.org/W25491848","https://openalex.org/W1484302646","https://openalex.org/W1507723317","https://openalex.org/W1507881659","https://openalex.org/W1519142519","https://openalex.org/W1528811200","https://openalex.org/W1544633123","https://openalex.org/W1562611359","https://openalex.org/W1703087989","https://openalex.org/W1786686619","https://openalex.org/W1829244603","https://openalex.org/W1963954367","https://openalex.org/W1969093922","https://openalex.org/W1978692906","https://openalex.org/W2012108763","https://openalex.org/W2020784851","https://openalex.org/W2022443117","https://openalex.org/W2044758536","https://openalex.org/W2051328776","https://openalex.org/W2051981528","https://openalex.org/W2055292912","https://openalex.org/W2058279444","https://openalex.org/W2084788336","https://openalex.org/W2110920860","https://openalex.org/W2133147697","https://openalex.org/W2151384546","https://openalex.org/W2154273644","https://openalex.org/W2293278021","https://openalex.org/W2597834528","https://openalex.org/W3163132554","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W7096464640","https://openalex.org/W2133147697","https://openalex.org/W2093036100","https://openalex.org/W2552165488","https://openalex.org/W2999267914","https://openalex.org/W3150212150","https://openalex.org/W7097172149","https://openalex.org/W1510463577","https://openalex.org/W7097994646","https://openalex.org/W7098663117"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,9,68,103,120,125],"problem":[4],"of":[5,11,26,41,45,85,87,107,113,122],"simplifying":[6],"typings":[7,14,28,31],"and":[8,47],"size-complexity":[10],"most":[12,70,116],"general":[13,117],"in":[15,115,140,148],"typed":[16],"programming":[17,144],"languages":[18],"with":[19,35,80],"atomic":[20],"subtyping.":[21],"We":[22,55,76],"define":[23],"a":[24,62,97,137],"notion":[25,40,84],"minimal":[27,64],"relating":[29],"all":[30,73],"which":[32,50,66,146],"are":[33],"equivalent":[34,74],"respect":[36,81],"to":[37,82],"instantiation.":[38],"The":[39],"instance":[42],"is":[43,67,136],"that":[44,57],"Fuh":[46],"Mishra":[48],"[13],":[49],"supports":[51],"many":[52],"interesting":[53],"simplifications.":[54],"prove":[56,96],"every":[58],"typable":[59],"term":[60],"has":[61],"unique":[63],"typing,":[65],"logically":[69],"succinct":[71],"among":[72],"typings.":[75,118],"study":[77],"completeness":[78],"properties,":[79],"our":[83,123],"minimality,":[86],"well-known":[88],"simplification":[89],"techniques.":[90],"Drawing":[91],"upon":[92],"these":[93],"results,":[94],"we":[95],"tight":[98],"exponential":[99],"lower":[100,129],"bound":[101,130],"for":[102,143],"worst":[104],"case":[105],"dag-size":[106],"constraint":[108],"sets":[109],"as":[110,112],"well":[111],"types":[114],"To":[119],"best":[121,126],"knowledge,":[124],"previously":[127],"proven":[128],"was":[131],"linear.":[132],"1":[133],"Introduction":[134],"Subtyping":[135],"fundamental":[138],"idea":[139],"type":[141],"systems":[142],"languages,":[145],"can":[147],"principle":[149],"be":[150],"integrated":[151],"into":[152],"standar...":[153]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}