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

maintained by Schloss Dagstuhl LZI at University of Trier