16th APLAS 2018: Wellington, New Zealand

Types

Program Analysis

Tools

Functional Programs and Probabilistic Programs

Verification

Logic

Continuation and Model Checking

a service of Schloss Dagstuhl - Leibniz Center for Informatics