44th POPL 2017: Paris, France

Refine list

showing all ?? records


Abstract Interpretation

Type Systems 1

Probabilistic Programming

Concurrency 1


Compiler Optimisation

Program Analysis

Type Systems 2

Concurrency 2

Functional Programming with Effects

Semantic Foundations

Logic and Programming

Verification and Synthesis

Type Systems 3

Concurrency 3

Gradual Typing and Contracts


Security and Privacy

a service of  Schloss Dagstuhl - Leibniz Center for Informatics