دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

Editorial Board

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Internal models of system F for decompilation

18 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation

22 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A pearl on SAT and SMT solving in Prolog

13 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Delimited control in OCaml, abstractly and concretely

21 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A church-style intermediate language for MLF

29 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Böhm theorem and Böhm trees for the Λμ-calculus

33 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه