Report - Practical Higher-Order Functional and Logic …Practical Higher-Order Functional and Logic Programming Based on Lambda-Calculus and Set-Abstraction TR88-004 January 1988 (Revised December

Please pass captcha verification before submit form