{"id":"https://openalex.org/W2124753887","doi":"https://doi.org/10.1145/1086365.1086370","title":"Acute","display_name":"Acute","publication_year":2005,"publication_date":"2005-09-12","ids":{"openalex":"https://openalex.org/W2124753887","doi":"https://doi.org/10.1145/1086365.1086370","mag":"2124753887"},"language":"en","primary_location":{"id":"doi:10.1145/1086365.1086370","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1086365.1086370","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth ACM SIGPLAN international conference on Functional programming","raw_type":"proceedings-article"},"type":"article","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/A5083405043","display_name":"Peter Sewell","orcid":"https://orcid.org/0000-0001-9352-1013"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Peter Sewell","raw_affiliation_strings":["University of Cambridge","University of Cambridge,"],"affiliations":[{"raw_affiliation_string":"University of Cambridge","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge,","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065954613","display_name":"James J. Leifer","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"James J. Leifer","raw_affiliation_strings":["INRIA Rocquencourt"],"affiliations":[{"raw_affiliation_string":"INRIA Rocquencourt","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056684856","display_name":"Keith Wansbrough","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Keith Wansbrough","raw_affiliation_strings":["University of Cambridge","University of Cambridge,"],"affiliations":[{"raw_affiliation_string":"University of Cambridge","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge,","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032148955","display_name":"Francesco Zappa Nardelli","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Francesco Zappa Nardelli","raw_affiliation_strings":["INRIA Rocquencourt"],"affiliations":[{"raw_affiliation_string":"INRIA Rocquencourt","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023335727","display_name":"Mair Allen-Williams","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mair Allen-Williams","raw_affiliation_strings":["University of Cambridge","University of Cambridge,"],"affiliations":[{"raw_affiliation_string":"University of Cambridge","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge,","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019763200","display_name":"Pierre Habouzit","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Habouzit","raw_affiliation_strings":["INRIA Rocquencourt"],"affiliations":[{"raw_affiliation_string":"INRIA Rocquencourt","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023359178","display_name":"Viktor Vafeiadis","orcid":"https://orcid.org/0000-0001-8436-0334"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Viktor Vafeiadis","raw_affiliation_strings":["University of Cambridge","University of Cambridge,"],"affiliations":[{"raw_affiliation_string":"University of Cambridge","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge,","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5083405043"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":10.828,"has_fulltext":false,"cited_by_count":62,"citation_normalized_percentile":{"value":0.98756378,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"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/T11424","display_name":"Security and Verification in Computing","score":0.9980000257492065,"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.8308316469192505},{"id":"https://openalex.org/keywords/marshalling","display_name":"Marshalling","score":0.8293243646621704},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.7533890604972839},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5830772519111633},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.4865266680717468},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47877252101898193},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.46177375316619873},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4354414939880371},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12328383326530457}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8308316469192505},{"id":"https://openalex.org/C206019424","wikidata":"https://www.wikidata.org/wiki/Q373671","display_name":"Marshalling","level":2,"score":0.8293243646621704},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.7533890604972839},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5830772519111633},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.4865266680717468},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47877252101898193},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.46177375316619873},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4354414939880371},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12328383326530457},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1086365.1086370","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1086365.1086370","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth ACM SIGPLAN international conference on Functional programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W168380059","https://openalex.org/W1495087637","https://openalex.org/W1505781641","https://openalex.org/W1529924754","https://openalex.org/W1533525390","https://openalex.org/W1542981786","https://openalex.org/W1584322803","https://openalex.org/W1591752798","https://openalex.org/W1597824249","https://openalex.org/W1638436127","https://openalex.org/W1814604501","https://openalex.org/W1829244603","https://openalex.org/W1924035922","https://openalex.org/W2021196439","https://openalex.org/W2022407453","https://openalex.org/W2032220227","https://openalex.org/W2036676170","https://openalex.org/W2037881889","https://openalex.org/W2048569219","https://openalex.org/W2060029146","https://openalex.org/W2070179848","https://openalex.org/W2083140588","https://openalex.org/W2091941856","https://openalex.org/W2097157641","https://openalex.org/W2105399292","https://openalex.org/W2118317839","https://openalex.org/W2118421087","https://openalex.org/W2131752612","https://openalex.org/W2134844623","https://openalex.org/W2136171121","https://openalex.org/W2145945984","https://openalex.org/W2146810916","https://openalex.org/W2166420892","https://openalex.org/W2170810021","https://openalex.org/W2242800645","https://openalex.org/W2494291666","https://openalex.org/W2914559425","https://openalex.org/W4285719527","https://openalex.org/W6634652454","https://openalex.org/W6636083506","https://openalex.org/W6636944822","https://openalex.org/W6677823100","https://openalex.org/W6721439124"],"related_works":["https://openalex.org/W1979248083","https://openalex.org/W3158355006","https://openalex.org/W1549877447","https://openalex.org/W3125261964","https://openalex.org/W2181888227","https://openalex.org/W2119629818","https://openalex.org/W2502219810","https://openalex.org/W3190489747","https://openalex.org/W4313024549","https://openalex.org/W2106791773"],"abstract_inverted_index":{"Existing":[0],"languages":[1],"provide":[2],"good":[3],"support":[4,58,80,171],"for":[5,59,142,183],"typeful":[6,184],"programming":[7],"of":[8,23,33,45,99,123,144,157,166,179,193,208],"standalone":[9],"programs.":[10,91],"In":[11,52],"a":[12,176,189,205,248,259],"distributed":[13,81,129,185,209],"system,":[14],"however,":[15],"there":[16],"may":[17],"be":[18,196,213],"interaction":[19,88],"between":[20,89],"multiple":[21],"instances":[22,40],"many":[24],"distinct":[25],"programs,":[26],"sharing":[27],"some":[28,39],"(but":[29],"not":[30],"necessarily":[31],"all)":[32],"their":[34,64],"module":[35],"structure,":[36],"and":[37,66,84,109,163,168,199,223,255,262],"with":[38,42],"rebuilt":[41],"new":[43],"versions":[44],"certain":[46],"modules":[47],"as":[48,215],"time":[49],"goes":[50],"on.":[51],"this":[53],"paper":[54,236],"we":[55],"discuss":[56],"programminglanguage":[57],"such":[60],"systems,":[61],"focussing":[62],"on":[63,150],"typing":[65],"naming":[67],"issues.We":[68],"describe":[69],"an":[70,76],"experimental":[71],"language,":[72],"Acute,":[73],"which":[74],"extends":[75],"ML":[77],"core":[78],"to":[79,112,119,135,160,170,203,212],"development,":[82],"deployment,":[83],"execution,":[85],"allowing":[86],"type-safe":[87,97],"separately-built":[90],"The":[92],"main":[93,239],"features":[94,174],"are:":[95],"(1)":[96],"marshalling":[98],"arbitrary":[100],"values;":[101],"(2)":[102],"type":[103,115],"names":[104,133],"that":[105,114,137],"are":[106,175,188,200],"generated":[107,134],"(freshly":[108],"by":[110,247,258,263],"hashing)":[111],"ensure":[113,136],"equality":[116,139],"tests":[117,140],"suffice":[118,141],"protect":[120],"the":[121,127,220,229,238],"invariants":[122],"abstract":[124],"types,":[125],"across":[126],"entire":[128],"system;":[130],"(3)":[131],"expression-level":[132],"name":[138],"type-safety":[143],"associated":[145],"values,":[146],"e.g.":[147],"values":[148,159],"carried":[149],"named":[151],"channels;":[152],"(4)":[153],"controlled":[154],"dynamic":[155],"rebinding":[156],"marshalled":[158],"local":[161],"resources;":[162],"(5)":[164],"thunkification":[165],"threads":[167],"mutexes":[169],"computation":[172],"mobility.These":[173],"large":[177],"part":[178],"what":[180],"is":[181,245],"needed":[182],"programming.":[186],"They":[187],"relatively":[190],"lightweight":[191],"extension":[192],"ML,":[194],"should":[195],"efficiently":[197],"implementable,":[198],"expressive":[201],"enough":[202],"enable":[204],"wide":[206],"variety":[207],"infrastructure":[210],"layers":[211],"written":[214],"simple":[216],"library":[217],"code":[218],"above":[219],"byte-string":[221],"network":[222],"persistent":[224],"store":[225],"APIs.":[226],"This":[227,235],"disentangles":[228],"language":[230,250],"runtime":[231],"from":[232],"communication":[233],"intricacies.":[234],"highlights":[237],"design":[240],"choices":[241],"in":[242],"Acute.":[243],"It":[244],"supported":[246],"full":[249],"definition":[251],"(of":[252],"typing,":[253],"compilation,":[254],"operational":[256],"semantics),":[257],"prototype":[260],"implementation,":[261],"example":[264],"distribution":[265],"libraries.":[266]},"counts_by_year":[{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}