17th ICFP 2012: Copenhagen, Denmark

Refine list

showing all ?? records

Keynote address

Automated theorem proving

Types

Embedded languages

Programming with graphs and search

Ornaments, extraction, and semantics

Keynote address 2

Infinity

Analysis

Security

FP in biology

Parallelism

Keynote address 3

Curry-Howard and compatibility checking

DSL support

Compilers

Higher-order model checking and slicing

a service of  Schloss Dagstuhl - Leibniz Center for Informatics