7. PLILP 1995: Utrecht, The Netherlands

Invited Talks

Functional Programming

Narrowing

Implementation

Abstract Interpretation and Typing

Transformation

Partial evaluation

Graphical User Interfaces

Logic Programming Theory

Posters and Demonstrations

a service of Schloss Dagstuhl - Leibniz Center for Informatics