Keywords: Carbon nanospheres; Hydrothermal; Defunctionalization; Super-hydrophobic; Contact angle;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
A correspondence between type checking via reduction and type checking via evaluation
Keywords: Formal semantics; Functional programming; Compositional evaluators; Type checkers; Continuation-passing style; Defunctionalization; Refunctionalization
From Reduction-based to Reduction-free Normalization
Keywords: normalization by evaluation; refocusing; defunctionalization; continuation-passing style (CPS);
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
Keywords: λ-calculus; Interpreters; Abstract machines; Closure conversion; Transformation into continuation-passing style (CPS); Defunctionalization; Monads; Effects; Proper tail recursion; Stack inspection;