5. FLOPS 2001: Tokyo, Japan

Aart Middeldorp,

Invited Papers

Functional Programming

Logic Programming

Functional Logic Programming

Types

Program Analysis and Transformation

lambda-Calculus