2. TAPSOFT 1987: Pisa, Italy

AS Session 1

Theory and Semantics of Functional Languages (CFLP Session 1)

Language Features and Compilation in Logic Programming (CFLP Session 2)

Implementation Techniques (CFLP Session 3)

Program Proving and Transformation (CFLP Session 4)

AS Session 3

Unification of Functional and Logic Programming Languages (CFLP Session 5)

Types, Polymorphism and Abstract Data TYpe Specifications (CFLP Session 6)

a service of Schloss Dagstuhl - Leibniz Center for Informatics