20. ICFP 2015: Vancouver, BC, Canada

Keynote 1

Session 1: Compilers

Session 2: Types

Session 3: Miscellaneous

Session 4: Foundations I

Session 5: Cost Analysis

Keynote 2

Session 6: Theorem Provers

Session 7: Parallelism

Session 8: Foundations II

Session 9: Information Flow

Session 10: Domain-Specific Languages

Session 11: Data Structures

Session 12: Contracts

Session 13: Type Checking

maintained by Schloss Dagstuhl LZI at University of Trier