{"id":"https://openalex.org/W2914905948","doi":"https://doi.org/10.1145/2951913","title":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","display_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","publication_year":2016,"publication_date":"2016-08-29","ids":{"openalex":"https://openalex.org/W2914905948","doi":"https://doi.org/10.1145/2951913","mag":"2914905948"},"language":"en","primary_location":{"id":"doi:10.1145/2951913","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":38,"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":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9936000108718872,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.993399977684021,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.729761004447937},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5361843705177307},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5009555816650391}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.729761004447937},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5361843705177307},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5009555816650391}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2951913","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":83,"referenced_works":["https://openalex.org/W17514509","https://openalex.org/W32064870","https://openalex.org/W88990729","https://openalex.org/W156498718","https://openalex.org/W166580360","https://openalex.org/W184493040","https://openalex.org/W342302233","https://openalex.org/W357046174","https://openalex.org/W427601738","https://openalex.org/W810225453","https://openalex.org/W1492711856","https://openalex.org/W1499878068","https://openalex.org/W1503398984","https://openalex.org/W1516735103","https://openalex.org/W1532374486","https://openalex.org/W1534323856","https://openalex.org/W1546861692","https://openalex.org/W1590183771","https://openalex.org/W1607198972","https://openalex.org/W1779461120","https://openalex.org/W1844453107","https://openalex.org/W1856314200","https://openalex.org/W1890754682","https://openalex.org/W1891319242","https://openalex.org/W1892397232","https://openalex.org/W1934021597","https://openalex.org/W1981457167","https://openalex.org/W1988251813","https://openalex.org/W1993375565","https://openalex.org/W2002193175","https://openalex.org/W2009776842","https://openalex.org/W2020999234","https://openalex.org/W2024355065","https://openalex.org/W2030213839","https://openalex.org/W2048569219","https://openalex.org/W2050509196","https://openalex.org/W2064138295","https://openalex.org/W2066486177","https://openalex.org/W2069429561","https://openalex.org/W2102360969","https://openalex.org/W2114964853","https://openalex.org/W2121813116","https://openalex.org/W2130432088","https://openalex.org/W2133059703","https://openalex.org/W2134012062","https://openalex.org/W2136796925","https://openalex.org/W2142623799","https://openalex.org/W2144404963","https://openalex.org/W2145156084","https://openalex.org/W2153975459","https://openalex.org/W2155748644","https://openalex.org/W2156942472","https://openalex.org/W2170694982","https://openalex.org/W2185558310","https://openalex.org/W2206718322","https://openalex.org/W2210027199","https://openalex.org/W2234140215","https://openalex.org/W2271374481","https://openalex.org/W2406252837","https://openalex.org/W2465272687","https://openalex.org/W2471409796","https://openalex.org/W2530192738","https://openalex.org/W2595263283","https://openalex.org/W2615879196","https://openalex.org/W2892924523","https://openalex.org/W2949151551","https://openalex.org/W2963709414","https://openalex.org/W2963977107","https://openalex.org/W3106280144","https://openalex.org/W3122223284","https://openalex.org/W3125832933","https://openalex.org/W4235951092","https://openalex.org/W4237267501","https://openalex.org/W4244189384","https://openalex.org/W4246464108","https://openalex.org/W4247880210","https://openalex.org/W4248199421","https://openalex.org/W4256217877","https://openalex.org/W4297665420","https://openalex.org/W4297803493","https://openalex.org/W4298443330","https://openalex.org/W4302097244","https://openalex.org/W4388299483"],"related_works":["https://openalex.org/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W4312309273","https://openalex.org/W2132325017","https://openalex.org/W1923258046","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W4323238794","https://openalex.org/W2968873290"],"abstract_inverted_index":{"Bayesian":[0,31,47,162],"modelling,":[1],"in":[2,101,121,132,379],"which":[3,125,191],"our":[4,363],"prior":[5],"belief":[6],"about":[7,241],"the":[8,55,72,77,80,96,103,127,133,143,170,183,200,206,234,242,245,287,303,311,330,357,372,376,380],"distribution":[9,358],"on":[10,339],"model":[11,60],"parameters":[12],"is":[13,18,35,84,186],"updated":[14],"by":[15,33,53,76,107,332,362,371],"observed":[16],"data,":[17],"a":[19,58,62,89,158,177,187,197,209,248,260,271,278,316,321,326,347],"popular":[20],"approach":[21],"to":[22,45,71,87,151,204,221,232,297,300,351],"statistical":[23],"data":[24],"analysis.However,":[25],"writing":[26,196],"specific":[27],"inference":[28,70,104],"algorithms":[29,105],"for":[30,161,264,282,315,320],"models":[32],"hand":[34],"timeconsuming":[36],"and":[37,50,94,116,149,173,236,239,256,267,294,346],"requires":[38],"significant":[39],"machine":[40],"learning":[41],"expertise.Probabilistic":[42],"programming":[43,91,109,146,155],"promises":[44],"make":[46],"modelling":[48],"easier":[49],"more":[51],"accessible":[52],"letting":[54],"user":[56,201],"express":[57],"generative":[59],"as":[61],"short":[63],"computer":[64],"program":[65,340,352,377],"(with":[66],"random":[67,344],"variables),":[68],"leaving":[69],"generic":[73],"algorithm":[74,319,364],"provided":[75],"compiler":[78],"of":[79,98,123,145,166,176,182,195,208,247,250,290,306,329,334,343,359,367],"given":[81],"language.However,":[82],"it":[83,230,269,299],"not":[85],"easy":[86],"design":[88,227,259],"probabilistic":[90,108,154,189,323],"language":[92,147,266,293,331],"correctly":[93,238],"define":[95,233,244,286,325],"meaning":[97],"programs":[99],"expressible":[100],"it.Moreover,":[102],"used":[106,370],"systems":[110],"usually":[111],"lack":[112],"formal":[113],"correctness":[114,313],"proofs":[115],"bugs":[117],"have":[118,131],"been":[119],"found":[120],"some":[122],"them,":[124],"limits":[126],"confidence":[128],"one":[129],"can":[130,156],"results":[134],"they":[135],"return.In":[136],"this":[137,167,217,225,265,291,307],"work,":[138],"we":[139,309],"apply":[140],"ideas":[141],"from":[142,349],"areas":[144],"theory":[148],"statistics":[150],"show":[152,295,355],"that":[153,193,356],"be":[157,222],"reliable":[159],"tool":[160],"inference.The":[163],"first":[164,312],"part":[165,305],"dissertation":[168],"concerns":[169],"design,":[171],"semantics":[172,237,328,378],"type":[174,262,288],"system":[175,263,289],"new,":[178],"substantially":[179],"enhanced":[180],"version":[181,249],"Tabular":[184,219,251,276],"language.Tabular":[185],"schema-based":[188],"language,":[190],"means":[192,333],"instead":[194],"full":[198],"program,":[199],"only":[202],"has":[203],"annotate":[205],"columns":[207],"schema":[210],"with":[211,253,270,277],"expressions":[212],"generating":[213],"corresponding":[214],"values.By":[215],"adopting":[216],"paradigm,":[218],"aims":[220],"user-friendly,":[223],"but":[224],"unusual":[226],"also":[228,274],"makes":[229],"harder":[231],"syntax":[235,246],"reason":[240],"language.We":[243,324],"extended":[252,292],"user-defined":[254],"functions":[255],"pseudo-deterministic":[257],"queries,":[258],"dependent":[261],"endow":[268],"precise":[272],"semantics.We":[273],"extend":[275],"concise":[279],"formula":[280],"notation":[281],"hierarchical":[283],"linear":[284],"regressions,":[285],"how":[296],"reduce":[298],"pure":[301],"Tabular.In":[302],"second":[304],"dissertation,":[308],"present":[310],"proof":[314],"Metropolis-Hastings":[317],"sampling":[318],"higher-order":[322],"measure-theoretic":[327],"an":[335],"operationallydefined":[336],"density":[337],"function":[338],"traces":[341,350],"(sequences":[342],"variables)":[345],"map":[348],"outputs.We":[353],"then":[354],"samples":[360],"returned":[361],"(a":[365],"variant":[366],"\"Trace":[368],"MCMC\"":[369],"Church":[373],"language)":[374],"matches":[375],"limit.":[381]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-02-21T00:00:00"}