{"id":"https://openalex.org/W4414988709","doi":"https://doi.org/10.1145/3763096","title":"Qualified Types with Boolean Algebras","display_name":"Qualified Types with Boolean Algebras","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414988709","doi":"https://doi.org/10.1145/3763096"},"language":"en","primary_location":{"id":"doi:10.1145/3763096","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763096","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3763096","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100670396","display_name":"Edward Lee","orcid":"https://orcid.org/0000-0001-7057-0912"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Edward Lee","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0001-7057-0912","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051962026","display_name":"Jonathan Lindegaard Starup","orcid":"https://orcid.org/0000-0002-0931-7878"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jonathan Lindegaard Starup","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-0931-7878","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039616179","display_name":"Ond\u0159ej Lhot\u00e1k","orcid":"https://orcid.org/0000-0001-9066-1889"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ond\u0159ej Lhot\u00e1k","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0001-9066-1889","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034330109","display_name":"Magnus Madsen","orcid":"https://orcid.org/0000-0002-7510-8724"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Magnus Madsen","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-7510-8724","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100670396"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13465821,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"1289","last_page":"1315"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965000152587891,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9923999905586243,"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/type","display_name":"Type (biology)","score":0.5777000188827515},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.5683000087738037},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.5331000089645386},{"id":"https://openalex.org/keywords/complete-boolean-algebra","display_name":"Complete Boolean algebra","score":0.5328999757766724},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.5097000002861023},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5041999816894531},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4381999969482422},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.42980000376701355}],"concepts":[{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5777000188827515},{"id":"https://openalex.org/C10021369","wikidata":"https://www.wikidata.org/wiki/Q1166774","display_name":"Stone's representation theorem for Boolean algebras","level":5,"score":0.5683000087738037},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.5331000089645386},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.5328999757766724},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5120999813079834},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.5097000002861023},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5041999816894531},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4952999949455261},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4381999969482422},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.42980000376701355},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.399399995803833},{"id":"https://openalex.org/C4926405","wikidata":"https://www.wikidata.org/wiki/Q3269980","display_name":"Boolean domain","level":5,"score":0.398499995470047},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3725000023841858},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3601999878883362},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32339999079704285},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.32030001282691956},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.31619998812675476},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31529998779296875},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.2969000041484833},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.2946000099182129},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C188159880","wikidata":"https://www.wikidata.org/wiki/Q5499761","display_name":"Free Boolean algebra","level":5,"score":0.2903999984264374},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.28929999470710754},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763096","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763096","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3763096","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763096","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1526771983","https://openalex.org/W1941520090","https://openalex.org/W1963569294","https://openalex.org/W1981232804","https://openalex.org/W1986473353","https://openalex.org/W1994518570","https://openalex.org/W2007435074","https://openalex.org/W2025431400","https://openalex.org/W2045424609","https://openalex.org/W2065266923","https://openalex.org/W2082569732","https://openalex.org/W2090746009","https://openalex.org/W2101085206","https://openalex.org/W2104200012","https://openalex.org/W2106355420","https://openalex.org/W2109375905","https://openalex.org/W2118004641","https://openalex.org/W2132500556","https://openalex.org/W2137956345","https://openalex.org/W2145708265","https://openalex.org/W2153559293","https://openalex.org/W2162635569","https://openalex.org/W2184230987","https://openalex.org/W2510703714","https://openalex.org/W2563592207","https://openalex.org/W2733797181","https://openalex.org/W2885689644","https://openalex.org/W2960197320","https://openalex.org/W3039827481","https://openalex.org/W3047158069","https://openalex.org/W3101609070","https://openalex.org/W3103594074","https://openalex.org/W3107145433","https://openalex.org/W3108199096","https://openalex.org/W3205634919","https://openalex.org/W4225138414","https://openalex.org/W4244157805","https://openalex.org/W4307731888","https://openalex.org/W4386317475","https://openalex.org/W4386711821","https://openalex.org/W4387667016","https://openalex.org/W4387674013","https://openalex.org/W4390605114","https://openalex.org/W4396214258","https://openalex.org/W4399851335","https://openalex.org/W4403223110","https://openalex.org/W4403223291","https://openalex.org/W4412230437","https://openalex.org/W7077494268"],"related_works":[],"abstract_inverted_index":{"We":[0,27,73,101,120],"propose":[1],"type":[2,9,12,59,87,111],"qualifiers":[3,13,60],"based":[4,16],"on":[5,17],"Boolean":[6,30,62],"algebras.":[7],"Traditional":[8],"systems":[10],"with":[11,58,93],"have":[14],"been":[15],"lattices,":[18],"but":[19],"lattices":[20],"lack":[21],"the":[22,110,116,147],"ability":[23],"to":[24,105,140],"express":[25],"exclusion.":[26,100],"argue":[28],"that":[29,54,135],"algebras,":[31],"which":[32],"permit":[33],"exclusion,":[34],"are":[35],"a":[36,50,82,86,125],"practical":[37,126],"and":[38,64,71,88,97,112,123],"useful":[39],"choice":[40],"of":[41,109,115,128],"domain":[42],"for":[43,67,85],"qualifiers.":[44],"In":[45],"this":[46],"paper,":[47],"we":[48],"present":[49,145],"calculus":[51],"System":[52,56,76,91,103],"F<:B":[53,77],"extends":[55],"F<:":[57],"over":[61],"algebras":[63],"has":[65],"support":[66],"negation,":[68],"qualifier":[69],"polymorphism,":[70,95],"subqualification.":[72],"illustrate":[74],"how":[75],"can":[78],"be":[79],"used":[80],"as":[81],"design":[83],"recipe":[84],"effect":[89,94,99,113,143],"system,":[90],"F<:BE,":[92],"subeffecting,":[96],"polymorphic":[98],"use":[102],"F<:BE":[104],"establish":[106],"formal":[107],"foundations":[108],"system":[114],"Flix":[117,149],"programming":[118],"language.":[119],"also":[121],"pinpoint":[122],"implement":[124],"form":[127],"subeffecting:":[129],"abstraction-site":[130,136],"subeffecting.":[131],"Experimental":[132],"results":[133],"show":[134],"subeffecting":[137],"allows":[138],"us":[139],"eliminate":[141],"all":[142],"upcasts":[144],"in":[146],"current":[148],"Standard":[150],"Library.":[151]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}