Haskell 2015: Vancouver, BC, Canada

Type Checking

Verification

Graphics and Distribution

Generics

Monads and Comonads

Type Classes

Concurrency and Parallelism

Probabilistic and Linear Programming

Code Generation

a service of Schloss Dagstuhl - Leibniz Center for Informatics