Keywords: انواع داده های چکشی; Abstract systems; Symbolic tokens; Measurement science; Phatic systems; Symbolic indicators; Abstract data types;
مقالات ISI انواع داده های چکشی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
A note on subject reduction in (â,â)-Curry with respect to complete developments
Keywords: انواع داده های چکشی; Formal semantics; Type systems; Existential quantifier; Abstract data types; Subject reduction;
A relational realizability model for higher-order stateful ADTs
Keywords: انواع داده های چکشی; Abstract data types; Logical relations; Local state; Parametricity;