دانلود مقالات ISI درباره چک کردن نوع + ترجمه فارسی
Type Checking
چک کردن نوع
در این صفحه تعداد 12 مقاله تخصصی درباره چک کردن نوع که در نشریه های معتبر علمی و پایگاه ساینس دایرکت (Science Direct) منتشر شده، نمایش داده شده است. برخی از این مقالات، پیش تر به زبان فارسی ترجمه شده اند که با مراجعه به هر یک از آنها، می توانید متن کامل مقاله انگلیسی همراه با ترجمه فارسی آن را دریافت فرمایید. در صورتی که مقاله مورد نظر شما هنوز به فارسی ترجمه نشده باشد، مترجمان با تجربه ما آمادگی دارند آن را در اسرع وقت برای شما ترجمه نمایند.
مقالات ISI چک کردن نوع (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند. در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: چک کردن نوع; Lambda calculus and related systems; Type checking; Typability; Partial type inference; Second-order unification; Undecidability; Curry-style type system; Church-style type system; Finitely stratified polymorphic types