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

maintained by Schloss Dagstuhl LZI at University of Trier