کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655873 | 685397 | 2005 | 46 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Programming Examples Needing Polymorphic Recursion
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We do not provide a comprehensive survey of type systems appropriate for polymorphic recursion, with or without type annotations inserted in the source language. Rather, we focus on examples for which types may be inferred without type annotations, with an emphasis on systems of intersection- types.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 136, 19 July 2005, Pages 57-102
Journal: Electronic Notes in Theoretical Computer Science - Volume 136, 19 July 2005, Pages 57-102
نویسندگان
J.J. Hallett, A.J. Kfoury,