PEPM 2011: Austin, TX, USA

Refine list

showing all ?? records

Invited talk 1 and continuations

Partial evaluation

Embedded languages

Tools

Invited talk 2

Invited talk 3 and program synthesis

Program calculations

Functional-logic programming

Functional programming

a service of  Schloss Dagstuhl - Leibniz Center for Informatics