PEPM 2011: Austin, TX, USA

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