Explore >> Select a destination
|
You are here 
|
popl21.sigplan.org | ||
| | | | |
popl19.sigplan.org
|
|
| | | | | 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 paper, click "Link to publication" under the paper's title and authors. Videos of POPL 2019 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk's event page, click "File Attached" or "Media Attached" under the talk's title and authors. Welcome to th... | |
| | | | |
www.ralfj.de
|
|
| | | | | The first paper by a PhD student I supervise has been accepted into POPL: "Program Logics à la Carte" will be presented in Denver next week. The paper proposes a framework of reusable build... | |
| | | | |
popl19.sigplan.org
|
|
| | | | | 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 paper, click Link to publication under the papers title and authors. Videos of POPL 2019 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talks event page, click File Attached or Media Attached under the talks title and authors. Welcome to the website... | |
| | | | |
jgoodwin.net
|
|
| | | |||
