乐胖代购免代理版

{"id":"https://openalex.org/W4362661298","doi":"https://doi.org/10.1145/3586056","title":"Back to Direct Style: Typed and Tight","display_name":"Back to Direct Style: Typed and Tight","publication_year":2023,"publication_date":"2023-04-06","ids":{"openalex":"https://openalex.org/W4362661298","doi":"https://doi.org/10.1145/3586056"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3586056","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3586056","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_indexed_in_scopus":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3586056","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029879693","display_name":"Marius M\u00fcller","orcid":"https://orcid.org/0000-0002-0260-6298"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marius M\u00fcller","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029318181","display_name":"Philipp Schuster","orcid":"https://orcid.org/0000-0001-8011-0506"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Philipp Schuster","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027088540","display_name":"Jonathan Immanuel Brachth\u00e4user","orcid":"https://orcid.org/0000-0001-9128-0391"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jonathan Immanuel Brachth\u00e4user","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049077225","display_name":"Klaus Ostermann","orcid":"https://orcid.org/0000-0001-5294-5506"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Ostermann","raw_affiliation_strings":["University of T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"University of T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":67},"biblio":{"volume":"7","issue":"OOPSLA1","first_page":"848","last_page":"875"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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":1.0,"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/T10142","display_name":"Formal Methods in Verification","score":0.9979,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9969,"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/continuation","display_name":"Continuation","score":0.7812462},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5266231}],"concepts":[{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.7812462},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7396772},{"id":"https://openalex.org/C2776445246","wikidata":"https://www.wikidata.org/wiki/Q1792644","display_name":"Style (visual arts)","level":2,"score":0.6240564},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5333908},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5266231},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.49798512},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.45624107},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45207548},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4226687},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3897831},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33684257},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3586056","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3586056","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_indexed_in_scopus":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3586056","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3586056","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_indexed_in_scopus":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.59,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1491716119","https://openalex.org/W1580664042","https://openalex.org/W1969661839","https://openalex.org/W1971906578","https://openalex.org/W1975575519","https://openalex.org/W1981830935","https://openalex.org/W1997143185","https://openalex.org/W2002529995","https://openalex.org/W2017274604","https://openalex.org/W2030556617","https://openalex.org/W2054299141","https://openalex.org/W2072392034","https://openalex.org/W2073904768","https://openalex.org/W2075281820","https://openalex.org/W2092112509","https://openalex.org/W2116053402","https://openalex.org/W2119464086","https://openalex.org/W2135235252","https://openalex.org/W2135287414","https://openalex.org/W2156876717","https://openalex.org/W2505610320","https://openalex.org/W2562114628","https://openalex.org/W2964794147","https://openalex.org/W3033957710","https://openalex.org/W3047512562","https://openalex.org/W3206803084","https://openalex.org/W4251825445"],"related_works":["https://openalex.org/W4248087735","https://openalex.org/W4229560034","https://openalex.org/W4225310406","https://openalex.org/W2883671469","https://openalex.org/W2352275403","https://openalex.org/W2199313715","https://openalex.org/W2159885618","https://openalex.org/W2012352190","https://openalex.org/W1994937216","https://openalex.org/W1575730831"],"abstract_inverted_index":{"Translating":[0],"programs":[1,87],"into":[2,45],"continuation-passing":[3,72,89,122,149],"style":[4,90,94,118,150],"is":[5,19,31,52,55,74],"a":[6,26,32,37,146,152,170],"well-studied":[7],"tool":[8],"to":[9,60,65,92,101,148,155,210],"explicitly":[10],"deal":[11],"with":[12,130],"the":[13,71,78,81,96,104,179,186,189,201],"control":[14,99,141,212],"structure":[15],"of":[16,35,42,80,98,106,188],"programs.":[17],"This":[18],"useful,":[20],"for":[21,23,103,139],"example,":[22],"compilation.":[24],"In":[25,84,193],"typed":[27,127],"setting,":[28],"there":[29,54],"also":[30,166],"logical":[33],"interpretation":[34],"such":[36],"translation":[38,58,73,147,153],"as":[39],"an":[40,56,131,175],"embedding":[41],"classical":[43],"logic":[44],"intuitionistic":[46],"logic.":[47],"A":[48],"naturally":[49],"arising":[50],"question":[51,67],"whether":[53],"inverse":[57,82],"back":[59,91,154],"direct":[61,93,117,156],"style.":[62,123,157],"The":[63],"answer":[64],"this":[66],"depends":[68],"on":[69,77,200],"how":[70],"defined":[75],"and":[76,119,128,151,165,204],"domain":[79],"translation.":[83],"general,":[85],"translating":[86],"from":[88],"requires":[95],"use":[97,105],"operators":[100],"account":[102],"continuations":[107],"in":[108,116,121,169],"non-trivial":[109,140],"ways.":[110],"We":[111,143,158],"present":[112,145],"two":[113,180],"languages,":[114],"one":[115,120],"Both":[124],"languages":[125,137],"are":[126,163,191,196],"equipped":[129],"abstract":[132],"machine":[133],"semantics.":[134],"Moreover,":[135,182],"both":[136,161],"allow":[138],"flow.":[142,213],"further":[144],"show":[159,184],"that":[160,185],"translations":[162,190],"type-preserving":[164],"preserve":[167],"semantics":[168],"very":[171],"precise":[172],"way":[173],"giving":[174],"operational":[176],"correspondence":[177],"between":[178],"languages.":[181],"we":[183],"compositions":[187],"well-behaved.":[192],"particular,":[194],"they":[195],"syntactic":[197,206],"one-sided":[198],"inverses":[199,207],"full":[202,205],"language":[203],"when":[208],"restricted":[209],"trivial":[211]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4362661298","counts_by_year":[],"updated_date":"2025-01-19T11:47:23.959544","created_date":"2023-04-07"}