44th POPL 2017: Paris, France

Refine list

showing all ?? records

Keynotes

Abstract Interpretation

Type Systems 1

Probabilistic Programming

Concurrency 1

Logic

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

Quantum

Security and Privacy