Two type extensions for the constraint modeling language MiniZinc
Keywords: Constraint programming; NULL values; Union types
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Innovations in computational type theory using Nuprl
Keywords: Martin-Löf type theory; Dependent intersection types; Union types; Polymorphic subtyping; Logic of events; Formal digital libraries; Computational type theory; Proofs as programs; Program extraction; Tactics
Sequence Types for the Ï-calculus
Keywords: Polymorphism; Mobile Processes; Intersection types; Union Types; Encodings;
Intersection and Union Types in the λ¯μμË-calculus
Keywords: Intersection types; union types; λ¯μμË-calculus; classical logic; Curry-Howard correspondence;
Intersection and Union Types for X
Keywords: Intersection types; union types; conditional rewriting; classical logic;