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

Title Page


Article: oopsla20foreword-fm000-p doi:

Editorial Message


Article: oopsla20foreword-fm001-p 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 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 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 doi:10.1145/3428195

Proving Highly-Concurrent Traversals Correct