OOPSLA 2020
Proceedings of the ACM on Programming Languages, Volume 4, Number OOPSLA

Title Page

Article: oopsla20foreword-fm000-p (type: Frontmatter) doi:

Editorial Message

Article: oopsla20foreword-fm001-p (type: Frontmatter) doi:

Fixpoints for the Masses: Programming with First-Class Datalog Constraints
Magnus Madsen and Ondřej Lhoták
(Aarhus University, Denmark; University of Waterloo, Canada)

Publisher's Version Video Article: oopsla20main-p5-p (type: Full Paper) doi:10.1145/3428193

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(EPFL, Switzerland; University of Tübingen, Germany)

Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p6-p (type: Full Paper) doi:10.1145/3428194

A Systematic Approach to Deriving Incremental Type Checkers
André Pacak, Sebastian Erdweg, and Tamás Szabó
(University of Mainz, Germany; itemis, Germany)

Publisher's Version Video Article: oopsla20main-p11-p (type: Full Paper) doi:10.1145/3428195

Proving Highly-Concurrent Traversals Correct
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham
(Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain)

Publisher's Version Video Article: oopsla20main-p13-p (type: Full Paper) doi:10.1145/3428196