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