8. PLILP 1996: Aachen, Germany

Invited Talk

Typing and Structuring Systems

Progam Analysis

Program Transformation

Implementation Issues

Concurrent and Parallel Programming

Tools and Programming Environments

Lambda-Calculus and Rewriting

Constraints

Deductive Database Languages

Posters and Demonstrations