popl - Robuta Search

https://poplme.co/C8xvGGfB Prosperity | Popl prosperity popl https://poplme.co/hash/7EXWTwt6/1/dashqr1676474810014?fbclid=IwAR00uuVnjMSub8T2oEMpYOUycuhPFX-n6EMy-EyWEzDU21p1oh9n7MloQtg Zinnia Wealth Management | Popl Zinnia Wealth Management - Popl wealth management zinnia popl https://popl22.sigplan.org/ POPL 2022 Welcome to the website of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022). The annual Symposium on Principles of Programming... popl https://popl26.sigplan.org/ POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... popl https://popl19.sigplan.org/ POPL 2019 Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a... popl https://popl25.sigplan.org/ POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... popl https://popl23.sigplan.org/profile/elenazucca Elena Zucca - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... elena zucca popl https://popl17.sigplan.org/profile/dominiquedevriese Dominique Devriese - POPL 2017 The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and... dominique popl https://research.ibm.com/publications/an-algebraic-theory-of-recursive-definitions-and-recursive-languages An algebraic theory of recursive definitions and recursive languages for POPL 1971 - IBM Research An algebraic theory of recursive definitions and recursive languages for POPL 1971 by Eric G. Wagner https://popl20.sigplan.org/people-index POPL 2020 Contributors - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... popl contributors https://inbox.ci.dev/caml-list/CABjRk3=KR2NdXa_BbRLJA6GgZGFyn_LX0VQn9uEDRDk4-h5EJA@mail.gmail.com/T/ [Caml-list] POPL 2026 Call for Workshops call for caml list popl workshops https://poplme.co/8M2BO3I4/dash Stacey Duderstadt - Mortgage Banker & Team Lead - Bell Bank Mortgage | Popl Stacey Duderstadt - Popl mortgage banker team lead stacey duderstadt bell https://poplco-alternate.app.link/hQiBYdUt0Ob?__branch_flow_type=viewapp&__branch_flow_id=1449627693841287214&__branch_mobile_deepview_type=1 Popl - Your Digital Business Card Download the Popl app on the App or Play store digital business popl card https://popl17.sigplan.org/profile/tetsuyasato Tetsuya Sato - POPL 2017 The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and... tetsuya sato popl https://popl16.sigplan.org/profile/yvesletraon Yves Le Traon - POPL 2016 POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a... yves le traon popl https://popl26.sigplan.org/profile/naokiyamamoto Naoki Yamamoto - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... naoki yamamoto popl https://support.popl.co/en/collections/15347333-best-practices-for-digital-business-card-teams Best Practices for Digital Business Card Teams | Popl Help Center best practices for digital business card teams popl help https://popl26.sigplan.org/committee/giacofest-2026-papers-organizing-committee Organizing Committee - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... organizing committee popl https://popl24.sigplan.org/committee/lafi-2024-papers-program-committee Program Committee - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... program committee popl https://popl26.sigplan.org/profile/gopalgupta Gopal Gupta - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... gopal gupta popl https://popl24.sigplan.org/profile/guannanwei Guannan Wei - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... guannan wei popl https://popl18.sigplan.org/profile/guyvandenbroeck Guy Van den Broeck - POPL 2018 Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming... guy van den broeck popl https://popl23.sigplan.org/profile/liminjia Limin Jia - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... limin jia popl https://popl21.sigplan.org/committee/POPL-2021-student-volunteers-student-volunteers-committee Student Volunteers Committee - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... student volunteers committee popl https://popl21.sigplan.org/profile/michaelgreenberg Michael Greenberg - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... michael greenberg popl https://popl17.sigplan.org/profile/damianomazza Damiano Mazza - POPL 2017 The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and... damiano mazza popl https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/1/The-Network-is-the-Computer-A-Programming-Language-Perspective The Network is the Computer: A Programming Language Perspective (POPL 2024 - POPL Research Papers)... Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... the network programming language https://popl23.sigplan.org/profile/lidiiachernigovskaia Lidiia Chernigovskaia - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... popl https://popl23.sigplan.org/profile/umangmathur Umang Mathur - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... umang mathur popl https://poplme.co/fredabood Fred Abood - Sr Solutions Architect - Databricks | Popl solutions architect fred sr databricks popl https://popl26.sigplan.org/committee/dafny-2026-papers-program-committee-chairs Program Committee Chairs - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... program committee chairs popl https://popl21.sigplan.org/profile/ronaldgarcia Ronald Garcia - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... ronald garcia popl https://popl20.sigplan.org/profile/michaelmislove Michael Mislove - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... michael popl https://poplme.co/EXXoHmyf/dash Michelle Eder - Senior Mortgage Loan Officer - Bell Bank Mortgage | Popl Michelle Eder - Popl mortgage loan officer bell bank michelle eder senior https://popl20.sigplan.org/profile/andreaspavlogiannis1 Andreas Pavlogiannis - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... andreas popl https://popl26.sigplan.org/profile/runqingxu Runqing Xu - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... xu popl https://popl17.sigplan.org/profile/juliensignoles Julien Signoles - POPL 2017 The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and... julien popl https://popl24.sigplan.org/profile/annalukina Anna Lukina - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... anna popl https://research.ibm.com/publications/position-paper-on-optimizing-compilers Position paper on optimizing compilers for POPL 1981 - IBM Research Position paper on optimizing compilers for POPL 1981 by William Harrison position paper optimizing compilers popl ibm research https://popl26.sigplan.org/profile/klausostermann Klaus Ostermann - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... klaus ostermann popl https://popl18.sigplan.org/profile/carrollmorgan Carroll Morgan - POPL 2018 Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming... carroll morgan popl https://popl20.sigplan.org/profile/arnaudjvenet Arnaud J. Venet - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... arnaud j popl https://popl16.sigplan.org/profile/chrisheunen Chris Heunen - POPL 2016 POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a... chris popl https://popl16.sigplan.org/profile/ashutoshgupta Ashutosh Gupta - POPL 2016 POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a... ashutosh gupta popl https://popl23.sigplan.org/committee/PEPM-2023-PEPM-2022-1-program-committee Program Committee - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... program committee popl https://popl23.sigplan.org/profile/felixjahn Felix Jahn - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... felix jahn popl https://popl20.sigplan.org/profile/martinvechev Martin Vechev - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... martin vechev popl https://popl23.sigplan.org/profile/steliostsampas1 Stelios Tsampas - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... stelios popl https://popl26.sigplan.org/profile/naohikohoshino1 Naohiko Hoshino - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... hoshino popl https://popl18.sigplan.org/profile/leonidaslampropoulos Leonidas Lampropoulos - POPL 2018 Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming... leonidas lampropoulos popl https://popl17.sigplan.org/profile/viktorwinschel Viktor Winschel - POPL 2017 The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and... viktor popl https://popl18.sigplan.org/profile/minghoyee Ming-Ho Yee - POPL 2018 Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming... ming ho yee popl https://popl26.sigplan.org/room/POPL-2026-venue-horizons Horizons - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... horizons popl https://popl24.sigplan.org/search/all Search all - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... search all popl https://popl21.sigplan.org/search/all Search all - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... search all popl https://popl25.sigplan.org/details/planqc-2025-papers/2/Concurrent-Quantum-Separation-Logic-for-Fine-Grained-Parallelism Concurrent Quantum Separation Logic for Fine-Grained Parallelism (PLanQC 2025) - POPL 2025 The Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025) aims to bring together researchers from the fields of programming... concurrent quantum separation logic https://popl22.sigplan.org/profile/dougalmaclaurin Dougal Maclaurin - POPL 2022 Welcome to the website of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022). The annual Symposium on Principles of Programming... dougal popl https://popl24.sigplan.org/profile/kinandakalbab Kinan Dak Albab - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... dak albab popl https://popl16.sigplan.org/profile/georgevarghese George Varghese - POPL 2016 POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a... george popl https://popl24.sigplan.org/track/POPL-2024-diversity--equity-and-inclusion POPL 2024 - Diversity, Equity and Inclusion - POPL 2024 POPL 2024 will host several events focused on promoting diversity, equity, and inclusion, supported by Jane Street. These events include: A DEI4Everyone... popl diversity equity inclusion https://popl25.sigplan.org/profile/richardtrefler Richard Trefler - POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... richard popl https://popl23.sigplan.org/profile/jennadivincenzowise Jenna DiVincenzo (Wise) - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... jenna wise popl https://popl24.sigplan.org/profile/tanzhixuan Tan Zhi-Xuan - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... tan zhi xuan popl https://popl23.sigplan.org/profile/alexandrasilva Alexandra Silva - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... alexandra silva popl https://popl26.sigplan.org/details/POPL-2026-popl-research-papers/25/Quotient-Polymorphism Quotient Polymorphism (POPL 2026 - POPL Research Papers) - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... quotient polymorphism popl research papers https://popl25.sigplan.org/profile/maximilianweininger Maximilian Weininger - POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... maximilian popl https://www.poplme.co/B4rrmOe0 Midwest Smart Glass | Popl Midwest Smart Glass - Popl smart glass midwest popl https://popl22.sigplan.org/profile/johnhui John Hui - POPL 2022 Welcome to the website of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022). The annual Symposium on Principles of Programming... john hui popl https://popl26.sigplan.org/profile/vidushsinghal Vidush Singhal - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... popl https://poplme.co/hash/nM7DPBBF/2/dash Jordan Sage - CEO - Sage Consulting Services | Popl ceo consulting jordan sage services popl https://popl17.sigplan.org/profile/anabove Ana Bove - POPL 2017 The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and... ana bove popl https://popl23.sigplan.org/profile/robertwright Robert Wright - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... robert wright popl https://popl18.sigplan.org/profile/thomasreps Thomas Reps - POPL 2018 Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming... thomas reps popl https://popl26.sigplan.org/profile/soichirohidaka Soichiro Hidaka - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... popl https://popl25.sigplan.org/profile/vadimzaliva Vadim Zaliva - POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... vadim popl https://popl26.sigplan.org/profile/nickwaddoups Nick Waddoups - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... nick popl https://popl26.sigplan.org/attending/Code-of-Conduct Code of Conduct - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... code of conduct popl https://dragonviolin.com/product/karl-hofner-kh202-by-popl-otto-1994/ Karl Hofner KH202 by Popl Otto 1994 - Dragon Violin karl hofner popl otto dragon https://www.stealthsoftwareinc.com/publication/popl19/ Stealth Announces New Result in Oblivious Comptuation at POPL '19 - Stealth Software Technologies Mar 11, 2023 - As part of the PANTHEON project, David Darais (UVM), Ian Sweet (UMD), Chang Liu (Citadel), and Michael Hicks (UMD) published their research on "A language for https://popl24.sigplan.org/home/CPP-2024 CPP 2024 - POPL 2024 Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and... cpp popl https://popl24.sigplan.org/profile/davidharel David Harel - POPL 2024 Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of... david popl https://popl25.sigplan.org/room/POPL-2025-venue-duck%2C-duck-goose Duck, Duck Goose - POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... duck goose popl https://popl25.sigplan.org/profile/qianchuanye Qianchuan Ye - POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... ye popl https://popl19.sigplan.org/profile/gabrielscherer Gabriel Scherer - POPL 2019 Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a... gabriel scherer popl https://popl19.sigplan.org/profile/michaelemmi Michael Emmi - POPL 2019 Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a... michael emmi popl https://popl21.sigplan.org/profile/damiandechev Damian Dechev - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... damian popl https://www.openresearch.org/wiki/POPL_1991 POPL 1991 - Openresearch popl openresearch https://poplme.co/Q52uiFdb/dash Pat Conroy - Senior Mortgage Banker - Bell Bank Mortgage | Popl pat conroy mortgage banker senior bell popl https://popl18.sigplan.org/profile/markbatty Mark Batty - POPL 2018 Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming... mark batty popl https://popl21.sigplan.org/profile/erickoskinen Eric Koskinen - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... eric koskinen popl https://popl21.sigplan.org/profile/enricopontelli Enrico Pontelli - POPL 2021 POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL.... enrico popl https://popl23.sigplan.org/profile/lucaszavalia Lucas Zavalia - POPL 2023 Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of... lucas popl https://popl19.sigplan.org/blogposts Blog Posts - POPL 2019 Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a... blog posts popl https://popl19.sigplan.org/profile/kyungminbae Kyungmin Bae - POPL 2019 Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a... bae popl https://popl20.sigplan.org/profile/leijin Lei Jin - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... lei jin popl https://popl20.sigplan.org/profile/jesperbengtson Jesper Bengtson - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... jesper popl https://popl25.sigplan.org/profile/ianmccormack Ian McCormack - POPL 2025 Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado. See... ian mccormack popl https://popl18.sigplan.org/series/POPL POPL conference series - POPL 2027 Welcome to the website of the 54th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2027). POPL 2027 will take place in Mexico City. The call... conference series popl https://popl26.sigplan.org/profile/natefoster Nate Foster - POPL 2026 /!\ We are aware of a scam travel company reaching out to participants. They are in no way affiliated to POPL, please be careful and always contact the... nate foster popl https://popl20.sigplan.org/profile/diwang Di Wang - POPL 2020 Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper,... di wang popl