{"id":"https://openalex.org/W6950579019","doi":"https://doi.org/10.5281/zenodo.8318658","title":"Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)","display_name":"Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)","publication_year":2023,"publication_date":"2023-07-06","ids":{"openalex":"https://openalex.org/W6950579019","doi":"https://doi.org/10.5281/zenodo.8318658"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:8318658","is_oa":true,"landing_page_url":"https://zenodo.org/record/8318658","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/8318658","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Madsen, Magnus","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":true,"raw_author_name":"Madsen, Magnus","raw_affiliation_strings":["Aarhus University"],"affiliations":[{"raw_affiliation_string":"Aarhus University","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Van De Pol, Jaco","orcid":"https://orcid.org/0000-0003-4305-0625"},"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":"Van De Pol, Jaco","raw_affiliation_strings":["Aarhus University"],"affiliations":[{"raw_affiliation_string":"Aarhus University","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":null,"display_name":"Henriksen, Troels","orcid":"https://orcid.org/0000-0002-1195-9722"},"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":false,"raw_author_name":"Henriksen, Troels","raw_affiliation_strings":["University of Copenhagen"],"affiliations":[{"raw_affiliation_string":"University of Copenhagen","institution_ids":["https://openalex.org/I124055696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11089","display_name":"Radioactive contamination and transfer","score":0.3521000146865845,"subfield":{"id":"https://openalex.org/subfields/2306","display_name":"Global and Planetary Change"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11089","display_name":"Radioactive contamination and transfer","score":0.3521000146865845,"subfield":{"id":"https://openalex.org/subfields/2306","display_name":"Global and Planetary Change"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13923","display_name":"Nuclear and radioactivity studies","score":0.06520000100135803,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10946","display_name":"Radioactivity and Radon Measurements","score":0.03629999980330467,"subfield":{"id":"https://openalex.org/subfields/3614","display_name":"Radiological and Ultrasound Technology"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.7803000211715698},{"id":"https://openalex.org/keywords/container","display_name":"Container (type theory)","score":0.6741999983787537},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6661999821662903},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.4180999994277954},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.33239999413490295},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.27869999408721924}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7803000211715698},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.6741999983787537},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6661999821662903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6446999907493591},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43369999527931213},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4327999949455261},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.4180999994277954},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.33239999413490295},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3257000148296356},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27889999747276306},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2565999925136566},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.25270000100135803},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:8318658","is_oa":true,"landing_page_url":"https://zenodo.org/record/8318658","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.8318658","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.8318658","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:8318658","is_oa":true,"landing_page_url":"https://zenodo.org/record/8318658","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[{"score":0.6600327491760254,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<strong>Introduction</strong>":[0],"This":[1,68,180,209],"artifact":[2,49,69,106],"supports":[3],"the":[4,19,24,28,33,54,66,79,137,155,171,198,221,229,233,245,254,261,282,286,354],"paper":[5,355],"<em>Fast":[6],"and":[7,14,90,219],"Efficient":[8],"Boolean":[9,38],"Unification":[10],"for":[11,37,78,263,353],"Hindley-Milner-Style":[12],"Type":[13],"Effect":[15],"Systems</em>.":[16],"It":[17],"reproduces":[18,50],"main":[20],"quantifiable":[21],"results":[22],"of":[23,30,32,53,88,277,284,302,309],"paper,":[25,55,255],"in":[26,65,232,253,256,315,346],"particular":[27],"performance":[29],"six":[31],"seven":[34],"proposed":[35],"strategies":[36],"unification":[39],"(Strategy":[40],"1":[41],"is":[42,292],"too":[43],"slow":[44],"to":[45,81,99,131,148,206,243,271,296,324,329,334],"actually":[46],"function).":[47],"The":[48,105,337,357],"Figures":[51],"3-7":[52],"as":[56,58,201],"well":[57],"various":[59,236,249],"other":[60],"minor":[61],"metrics":[62,251],"referenced":[63],"listed":[64],"paper.":[67],"does":[70],"not":[71,129],"have":[72,147],"any":[73],"unusual":[74],"system":[75,217],"requirements,":[76],"except":[77],"ability":[80],"run":[82,100,170,176,204],"Docker,":[83],"requires":[84],"at":[85,95],"most":[86,92,96],"16GiB":[87],"RAM,":[89],"on":[91,121,216],"systems":[93],"take":[94,211],"20-30":[97,213],"minutes":[98,214],"all":[101],"benchmarks.":[102],"<strong>Getting":[103],"Started</strong>":[104],"comprises":[107],"a":[108,185,188,275,300,307,361],"Docker":[109,117,156,159,199,358],"image":[110,157,172,359],"<code>flix-oopsla23.tar.gz</code>.":[111],"On":[112],"WIndows,":[113],"we":[114,139,351],"recommend":[115],"using":[116],"within":[118],"WSL.":[119],"Depending":[120],"your":[122],"system,":[123],"<code>docker</code>":[124],"commands":[125],"might":[126,128],"or":[127],"need":[130],"be":[132,226,341],"prefixed":[133],"with":[134,343,364],"<code>sudo</code>.":[135],"In":[136,259],"following":[138,222],"will":[140,181,210],"leave":[141],"off":[142],"<code>sudo</code>,":[143],"but":[144],"you":[145,183],"may":[146],"add":[149],"it":[150],"yourself.":[151],"You":[152,167],"can":[153,168,225,340],"load":[154,163],"into":[158,184],"with:":[160,173],"<pre><code>$":[161,174],"docker":[162,175],"-i":[164],"flix-oopsla23.tar.gz":[165],"</code></pre>":[166,179],"then":[169],"-it":[177],"flix-oopsla23:latest":[178],"put":[182],"shell":[186],"inside":[187],"directory":[189],"containing":[190],"our":[191],"experimental":[192],"infrastructure.":[193],"<strong>Step-by-step":[194],"Instructions</strong>":[195],"After":[196],"entering":[197],"container":[200],"mentioned":[202],"above,":[203],"<em>make</em>":[205],"begin":[207],"benchmarking.":[208],"approximately":[212],"depending":[215],"speed,":[218],"produce":[220,244],"files,":[223],"which":[224,348],"compared":[227,342],"against":[228],"versions":[230],"used":[231,352],"paper:":[234],"<code>data/</code>:":[235],"intermediate":[237],"data":[238,262],"files":[239,339],"that":[240,280,305],"are":[241,349],"processed":[242],"final":[246],"results.":[247],"<code>data-generated.tex</code>:":[248],"quantitative":[250],"reported":[252],"LaTeX":[257],"format.":[258],"particular,":[260],"Question/Observation":[264],"2":[265],"(sections":[266],"4.5,":[267],"4.7).":[268],"<code>fig/throughput.png</code>:":[269],"corresponding":[270,295,323,328,333],"Fig.":[272,278,297,303,325,330,335],"3.":[273],"<code>fig/throughput-frontend.png</code>:":[274],"variant":[276,301],"3":[279],"shows":[281,306],"throughput":[283],"just":[285],"compiler":[287],"frontend,":[288],"meaning":[289],"code":[290],"generation":[291],"excluded.":[293],"<code>fig/histogram-all-vars.png</code>:":[294],"4.":[298],"<code>fig/histogram-flexible-vars.png</code>:":[299],"4":[304,318],"histogram":[308],"how":[310],"many":[311],"<em>flexible</em>":[312],"variables":[313],"occur":[314],"queries":[316],"(Fig.":[317],"counts":[319],"<em>all</em>":[320],"variables).":[321],"<code>fig/histogram-allflex-ratio.png</code>:":[322],"5.":[326],"<code>fig/unique-rate.png</code>:":[327],"6.":[331],"<code>fig/strategy-time.png</code>:":[332],"7.":[336],"generated":[338],"their":[344],"counterparts":[345],"<code>paperdata/</code>,":[347],"what":[350],"itself.":[356],"contains":[360],"README.md":[362],"file":[363],"more":[365],"documentation.":[366]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}