18th ICFP 2013: Boston, MA, USA

Refine list

showing all ?? records

Keynote 1

Verification with grammars and automata

Data parallelism

Dependent types

Fun in the afternoon

Handling effects

Keynote 2

Concurrency

(Co-)Recursion

Functional reactive programming

Lambda-calculus

Monads

Modular meta-theory

Experience reports

Program logics

Language design

Analysis and optimization

a service of  Schloss Dagstuhl - Leibniz Center for Informatics