17th APLAS 2019: Nusa Dua, Bali, Indonesia

Invited Papers

Types

Program Analysis

Semantics

Language Design and Implementation

Concurrency

Verification

Logic and Automata

a service of Schloss Dagstuhl - Leibniz Center for Informatics