{"id":"https://openalex.org/W4293812554","doi":"https://doi.org/10.1145/3547635","title":"Modular probabilistic models via algebraic effects","display_name":"Modular probabilistic models via algebraic effects","publication_year":2022,"publication_date":"2022-08-29","ids":{"openalex":"https://openalex.org/W4293812554","doi":"https://doi.org/10.1145/3547635"},"language":"en","primary_location":{"id":"doi:10.1145/3547635","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547635","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547635","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","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3547635","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074208023","display_name":"Minh Son Nguyen","orcid":"https://orcid.org/0000-0003-3845-9928"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Minh Nguyen","raw_affiliation_strings":["University of Bristol, UK"],"affiliations":[{"raw_affiliation_string":"University of Bristol, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008299896","display_name":"Roly Perera","orcid":"https://orcid.org/0000-0001-9249-9862"},"institutions":[{"id":"https://openalex.org/I4210128584","display_name":"The Alan Turing Institute","ror":"https://ror.org/035dkdb55","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210128584"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Roly Perera","raw_affiliation_strings":["Alan Turing Institute, UK"],"affiliations":[{"raw_affiliation_string":"Alan Turing Institute, UK","institution_ids":["https://openalex.org/I4210128584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074307489","display_name":"Meng Wang","orcid":"https://orcid.org/0000-0001-7780-630X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Meng Wang","raw_affiliation_strings":["University of Bristol, UK"],"affiliations":[{"raw_affiliation_string":"University of Bristol, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072641397","display_name":"Nicolas Wu","orcid":"https://orcid.org/0000-0002-4161-985X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nicolas Wu","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5074208023"],"corresponding_institution_ids":["https://openalex.org/I36234482"],"apc_list":null,"apc_paid":null,"fwci":0.9989,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.772379,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"6","issue":"ICFP","first_page":"381","last_page":"410"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"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/haskell","display_name":"Haskell","score":0.7903680801391602},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7832964062690735},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7678706049919128},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7201591730117798},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7089337110519409},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.663547158241272},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.6015142202377319},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5394689440727234},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.5192258954048157},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4908171594142914},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.47979193925857544},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.47940775752067566},{"id":"https://openalex.org/keywords/statistical-inference","display_name":"Statistical inference","score":0.4604305624961853},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.42352554202079773},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.2092881202697754},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18656006455421448},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1667519509792328},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08311772346496582},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.06913429498672485}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7903680801391602},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7832964062690735},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7678706049919128},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7201591730117798},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7089337110519409},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.663547158241272},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.6015142202377319},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5394689440727234},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.5192258954048157},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4908171594142914},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47979193925857544},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.47940775752067566},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.4604305624961853},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.42352554202079773},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2092881202697754},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18656006455421448},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1667519509792328},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08311772346496582},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06913429498672485},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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":5,"locations":[{"id":"doi:10.1145/3547635","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547635","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547635","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"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/216dda92-8d2b-4e6e-b9da-ad10967c8a80","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/216dda92-8d2b-4e6e-b9da-ad10967c8a80","pdf_url":"https://research-information.bris.ac.uk/files/339557853/Full_text_PDF_final_published_version_.pdf","source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"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":"Nguyen, M H, Perera, R N T, Wang, M & Wu, N 2022, 'Modular Probabilistic Models via Algebraic Effects', Proceedings of the ACM on Programming Languages, vol. 6, no. ICFP, 104, pp. 381-410. https://doi.org/10.1145/3547635","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/fc720e98-839c-4ee2-bbfc-79f512364914","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/fc720e98-839c-4ee2-bbfc-79f512364914","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"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":""},{"id":"doi:10.5281/zenodo.6651944","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6651944","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"},{"id":"doi:10.5281/zenodo.6651962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6651962","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":"doi:10.1145/3547635","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547635","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547635","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":[{"id":"https://openalex.org/G3892558182","display_name":"EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations","funder_award_id":"EP/T008911/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5778630555","display_name":null,"funder_award_id":"EP/S028129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7583192215","display_name":null,"funder_award_id":"EP/T008911/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4293812554.pdf","grobid_xml":"https://content.openalex.org/works/W4293812554.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W95577512","https://openalex.org/W847838221","https://openalex.org/W1489879801","https://openalex.org/W1517555081","https://openalex.org/W1566927609","https://openalex.org/W1590681881","https://openalex.org/W1606211906","https://openalex.org/W1621383763","https://openalex.org/W1736823781","https://openalex.org/W1831716037","https://openalex.org/W1981457167","https://openalex.org/W1985690171","https://openalex.org/W1995618084","https://openalex.org/W2006764675","https://openalex.org/W2030213839","https://openalex.org/W2041908517","https://openalex.org/W2048365843","https://openalex.org/W2055947235","https://openalex.org/W2059702912","https://openalex.org/W2073001576","https://openalex.org/W2083619093","https://openalex.org/W2084115964","https://openalex.org/W2099878672","https://openalex.org/W2105594594","https://openalex.org/W2129728285","https://openalex.org/W2129902163","https://openalex.org/W2137307912","https://openalex.org/W2140654465","https://openalex.org/W2141576692","https://openalex.org/W2142098311","https://openalex.org/W2163552400","https://openalex.org/W2217402295","https://openalex.org/W2395654200","https://openalex.org/W2510584328","https://openalex.org/W2511514052","https://openalex.org/W2528996685","https://openalex.org/W2567568390","https://openalex.org/W2574963492","https://openalex.org/W2577537660","https://openalex.org/W2886363898","https://openalex.org/W2892924523","https://openalex.org/W2896434942","https://openalex.org/W2897613819","https://openalex.org/W2902895875","https://openalex.org/W2953605673","https://openalex.org/W2963977107","https://openalex.org/W2994785018","https://openalex.org/W3026093994","https://openalex.org/W3093111695","https://openalex.org/W3101155261","https://openalex.org/W3174450812","https://openalex.org/W4287373509","https://openalex.org/W4289292073","https://openalex.org/W6902734038","https://openalex.org/W6932006148"],"related_works":["https://openalex.org/W2795206833","https://openalex.org/W3183730129","https://openalex.org/W2970045733","https://openalex.org/W3035045542","https://openalex.org/W2615355269","https://openalex.org/W2982176604","https://openalex.org/W3091500601","https://openalex.org/W4285182199","https://openalex.org/W4300934249","https://openalex.org/W4214734444"],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1],"languages":[2],"(PPLs)":[3],"allow":[4],"programmers":[5],"to":[6,23],"construct":[7],"statistical":[8],"models":[9,22,37,61],"and":[10,65,70,77],"then":[11],"simulate":[12],"data":[13],"or":[14,29],"perform":[15],"inference":[16,78],"over":[17],"them.":[18],"Many":[19],"PPLs":[20],"restrict":[21],"a":[24],"particular":[25],"instance":[26],"of":[27],"simulation":[28,69,76],"inference,":[30],"limiting":[31],"their":[32],"reusability.":[33],"In":[34],"other":[35],"PPLs,":[36],"are":[38,62],"not":[39],"readily":[40],"composable.":[41],"Using":[42],"Haskell":[43],"as":[44,83],"the":[45],"host":[46],"language,":[47],"we":[48],"present":[49],"an":[50],"embedded":[51],"domain":[52],"specific":[53],"language":[54],"based":[55],"on":[56],"algebraic":[57,88],"effects,":[58],"where":[59],"probabilistic":[60],"modular,":[63],"first-class,":[64],"reusable":[66],"for":[67],"both":[68],"inference.":[71],"We":[72],"also":[73],"demonstrate":[74],"how":[75],"can":[79],"be":[80],"expressed":[81],"naturally":[82],"composable":[84],"program":[85],"transformations":[86],"using":[87],"effect":[89],"handlers.":[90]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}