Type error slicing in implicitly typed higher-order languages
نویسندگان
چکیده
منابع مشابه
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2004
ISSN: 0167-6423
DOI: 10.1016/j.scico.2004.01.004