{"id":"https://openalex.org/W4246634981","doi":"https://doi.org/10.1145/2429069","title":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","display_name":"Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","publication_year":2013,"publication_date":"2013-01-22","ids":{"openalex":"https://openalex.org/W4246634981","doi":"https://doi.org/10.1145/2429069"},"language":"en","primary_location":{"id":"doi:10.1145/2429069","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2429069","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":6,"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/T10260","display_name":"Software Engineering Research","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9659000039100647,"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.6518116593360901},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5453327894210815},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4599560499191284},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3775518536567688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6518116593360901},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5453327894210815},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4599560499191284},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3775518536567688}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2429069","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2429069","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":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Welcome":[0],"to":[1,4,147,229,325,430,451,500,504],"Rome":[2,20],"and":[3,33,35,45,53,56,61,67,75,93,98,105,123,127,143,149,157,184,194,211,236,260,279,329,333,339,356,381,419,424,470,496,528,540,543],"POPL":[5,47,146,171,347,388,437,536],"2013,":[6],"the":[7,11,40,139,152,158,162,190,195,263,276,284,310,326,346,350,358,362,367,382,453,502,505,515],"fortieth":[8],"edition":[9],"of":[10,17,77,86,145,177,227,262,275,314,456,483,519],"ACM":[12,420],"SIGPLAN-SIGACT":[13],"Symposium":[14,82],"on":[15,72,83,90,103,108],"Principles":[16],"Programming":[18,114,135,153],"Languages.":[19],"is":[21,49,349,439,537],"a":[22,166,225,273,374,467],"beautiful":[23],"town,":[24],"with":[25,51,224],"an":[26,174],"incredible":[27],"millennial":[28],"history":[29],"in":[30,58,169,186,247,251,282,293,295,353,377,394,397,441,449,507,529,535],"culture,":[31],"art,":[32],"science,":[34],"fantastic":[36],"opportunities":[37],"for":[38,134,165,216,232,238,335,372,509],"enjoying":[39],"Italian":[41],"lifestyle,":[42],"historic":[43],"sites":[44],"museums.":[46],"2013":[48,172,389,438],"co-located":[50],"new":[52],"well-established":[54],"conferences":[55],"workshops":[57],"programming":[59,398],"languages":[60],"systems:":[62],"14th":[63],"Verification,":[64,74],"Model":[65],"Checking,":[66],"Abstract":[68],"Interpretation":[69],"conference;":[70],"Workshop":[71,89,102,107,156],"Synthesis,":[73],"Analysis":[76],"Rich":[78],"Models;":[79],"15th":[80],"International":[81],"Practical":[84],"Aspects":[85],"Declarative":[87],"Languages;":[88],"Partial":[91],"Evaluation":[92],"Program":[94,117,121,191],"Manipulation;":[95],"1st":[96,101],"Interference":[97],"Dependence":[99],"workshop;":[100,119],"Behaviours":[104],"Types;":[106],"Data":[109],"Driven":[110],"Functional":[111],"Programming;":[112],"7th":[113],"Languages":[115],"meets":[116],"Verification":[118],"2nd":[120],"Protection":[122],"Reverse":[124],"Engineering":[125],"Workshop;":[126],"Off":[128],"The":[129,290,387,517],"Beaten":[130],"Track:":[131],"Underrepresented":[132],"Problems":[133],"Language":[136,154],"Researchers.":[137],"Confirming":[138],"long":[140],"standing":[141],"tradition":[142],"attention":[144,278,542],"students":[148],"young":[150],"researchers,":[151],"Mentoring":[155],"TutorialFest":[159],"will":[160],"provide":[161],"necessary":[163],"warm-up":[164],"full":[167,435],"immersion":[168],"POPL!":[170],"had":[173,266],"absolute":[175],"record":[176],"submissions:":[178],"238":[179,315],"papers":[180,218,231,264,318],"have":[181,257],"been":[182,203,258,489],"submitted":[183,265],"reviewed,":[185],"single-blind":[187],"process,":[188],"by":[189,205,220,405],"Committee":[192,198],"(PC)":[193],"External":[196],"Review":[197],"(ERC).":[199],"Each":[200],"paper":[201],"has":[202,488],"reviewed":[204,219],"4":[206,401],"reviewers:":[207],"3":[208,434],"from":[209,213,493],"PC":[210,234,291,305],"1":[212],"ERC,":[214,328],"except":[215],"PCauthored":[217],"ERC":[221,240],"members":[222,235,306],"only,":[223],"load":[226],"up":[228],"28":[230],"some":[233,239],"6":[237],"members.":[241],"12":[242],"further":[243],"external":[244],"reviewers":[245,332],"helped":[246],"providing":[248,373],"expert":[249,270],"evaluations":[250],"specific":[252],"situations.":[253],"Ultimately":[254],"947":[255],"reviews":[256,359,380],"produced":[259,360],"85%":[261],"at":[267,300,309],"least":[268],"one":[269],"reviewer,":[271],"as":[272,286,288],"proof":[274],"great":[277,375,486],"effort":[280],"spent":[281],"making":[283],"selection":[285],"rigorous":[287],"possible.":[289],"met":[292],"person":[294],"Paris":[296],"over":[297,433],"two":[298,442],"days":[299],"\u00c9cole":[301],"Normale":[302],"Sup\u00e9rieure.":[303],"All":[304],"were":[307,319],"present":[308],"meeting":[311],"and,":[312],"out":[313],"submissions,":[316,379],"43":[317],"accepted":[320],"(18%).":[321],"Our":[322],"gratitude":[323],"goes":[324],"PC,":[327],"all":[330,477],"outside":[331],"subreviewers":[334],"their":[336,523],"attention,":[337],"dedication":[338],"patience.":[340],"We":[341,365,445],"are":[342,361],"firmly":[343],"convinced":[344],"that":[345,357],"standard":[348],"highest":[351],"possible":[352,454],"Computer":[354],"Science,":[355],"best":[363,448],"around.":[364],"thank":[366],"HotCRP":[368],"software":[369],"development":[370],"team":[371],"tool":[376],"managing":[378],"final":[383],"conference":[384],"program":[385,390],"set-up.":[386],"covers":[391],"most":[392],"topics":[393,457],"nowadays":[395],"research":[396],"languages,":[399],"including":[400],"outstanding":[402],"invited":[403],"talks":[404],"Georges":[406],"Gonthier":[407],"(Microsoft":[408],"Research,":[409],"UK),":[410],"Andrew":[411],"Myers":[412],"(Cornell":[413],"University),":[414],"Shriram":[415],"Krishnamurthi":[416],"(Brown":[417],"University":[418],"Robin":[421],"Milner":[422],"Award),":[423],"Noah":[425],"Goodman":[426],"(Stanford":[427],"University).":[428],"Due":[429],"time":[431],"constraints":[432],"days,":[436],"structured":[440],"parallel":[443,459],"tracks.":[444],"did":[446],"our":[447,526],"order":[450],"reduce":[452],"overlap":[455],"among":[458],"sessions.":[460],"Of":[461],"course":[462],"this":[463,491],"can":[464],"only":[465],"be":[466],"partial":[468],"solution":[469],"we":[471],"apologize":[472],"if":[473,513],"you":[474,479],"cannot":[475],"attend":[476],"presentations":[478],"would":[480],"like":[481],"because":[482],"this.":[484],"A":[485],"support":[487],"obtained":[490],"year":[492],"leading":[494],"companies":[495,521],"institutions,":[497],"enabling":[498],"us":[499],"keep":[501],"access":[503],"conference,":[506],"particular":[508,530],"students,":[510],"relatively":[511],"low-cost":[512],"considered":[514],"location.":[516],"contribution":[518],"start-up":[520],"having":[522],"roots":[524],"into":[525,531],"community":[527],"scientific":[532],"achievements":[533],"appeared":[534],"particularly":[538],"welcome":[539],"deserves":[541],"gratitude.":[544]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}