5. FLOPS 2001: Tokyo, Japan

Aart Middeldorp,

Invited Papers

Functional Programming

Logic Programming

Functional Logic Programming

Types

Program Analysis and Transformation

lambda-Calculus

maintained by Schloss Dagstuhl LZI at University of Trier