کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875301 1441596 2018 57 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A unified view of monadic and applicative non-determinism
ترجمه فارسی عنوان
دیدگاه یکپارچه از عدم قطعیت مادیا و کاربردی
کلمات کلیدی
مونوئید، نزدیک نیمه مونادلوس، جایگزین، ساخت و ساز رایگان
ترجمه چکیده
این مقاله، با گسترش مونوئیدها به نیمه نهایی با هر دو ساختار افزودنی و چندتایی، یک دید کلی از اثرات محاسباتی را با عدم تعیین جرم می کند. این امر ما را قادر می سازد کلیه ساختارهای آزاد و همچنین بازنویسی دوبعدی کایلی را تعریف کنیم که بهینه سازی هر دو مبلغ توافق شده چپ و محصولات حاوی چپ است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
دیدگاه یکپارچه از عدم قطعیت مادیا و کاربردی
چکیده انگلیسی
This article recovers a unified view of computational effects with non-determinism by extending monoids to near-semirings with both additive and multiplicative structure. This enables us to generically define free constructions as well as a novel double Cayley representation that optimises both left-nested sums and left-nested products.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 152, 15 January 2018, Pages 70-98
نویسندگان
, , ,