2. TAPSOFT 1987: Pisa, Italy

Refine list

showing all ?? records

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