Ftp-able な論文ダヨ〜ン(c)濱田マリ

A lambda-calculus with Overloading and Inhereitance
Daisuke Suzuki to appear in FLOPS'95 Fuji International Workshop on Functional and Logic Programming , click here