The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types
رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 933 ) :: The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير - تحميل مباشر
تفاصيل كتاب The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types
التصنيف: رسائل ماجستير ودكتوراه -> علم الحاسوب
حجم الملف: 2,090 KB
نوع الملف: pdf
أضيف بواسطة: Y4$$3R N3T
بتاريخ: 19-08-2018
عدد مرات التحميل: 2
مرات الزيارة: 245
عرض جميع الكتب التي أضيفت بواسطة: Y4$$3R N3T
