دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
دانلود کتاب پیاده سازی و کاربرد زبانهای کاربردی: بیست و دومین سمپوزیوم بین المللی ، IFL 2010 ، Alphen aan den Rijn ، هلند ، 1 تا 3 سپتامبر 2010 ، مقاله های منتخب اصلاح شده
مشخصات کتاب
Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
ویرایش: 1 نویسندگان: George Giorgidze, Torsten Grust (auth.), Jurriaan Hage, Marco T. Morazán (eds.) سری: Lecture Notes in Computer Science 6647 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642242755, 9783642242762 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 226 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد زبانهای کاربردی: بیست و دومین سمپوزیوم بین المللی ، IFL 2010 ، Alphen aan den Rijn ، هلند ، 1 تا 3 سپتامبر 2010 ، مقاله های منتخب اصلاح شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد زبانهای کاربردی: بیست و دومین سمپوزیوم بین المللی ، IFL 2010 ، Alphen aan den Rijn ، هلند ، 1 تا 3 سپتامبر 2010 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی و کاربرد زبانهای کاربردی: بیست و دومین سمپوزیوم بین المللی ، IFL 2010 ، Alphen aan den Rijn ، هلند ، 1 تا 3 سپتامبر 2010 ، مقاله های منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل بیست و دومین کارگاه بین المللی پیاده سازی و کاربردهای زبان های کاربردی، IFL 2011، برگزار شده در Alphen aan den Rijn، هلند در سپتامبر 2011 است. 13 مقاله کامل اصلاح شده ارائه شده به دقت بررسی شدند. و از بین 31 مورد ارسالی انتخاب شدند. سمپوزیوم IFL محققان و متخصصانی را گرد هم می آورد که به طور فعال در پیاده سازی و استفاده از زبان های برنامه نویسی تابعی و تابعی مشارکت دارند. IFL هر سال مکانی را برای ارائه و بحث درباره ایده‌ها و مفاهیم جدید، کارهای در حال انجام و نتایج به دست آمده از انتشار فراهم می‌کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Workshop on Implementation and Applications of Functional Languages, IFL 2011, held in Alphen aan den Rijn, The Netherlands in September 2011. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results.
فهرست مطالب
Front Matter....Pages -
Haskell Boards the Ferry....Pages 1-18
Theory and Practice of Fusion....Pages 19-37
Orthogonal Serialisation for Haskell....Pages 38-53
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages....Pages 54-71
Automating Derivations of Abstract Machines from Reduction Semantics:....Pages 72-88
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC ....Pages 89-104
Dependently Typed Attribute Grammars....Pages 105-120
The Design and Implementation of Feldspar....Pages 121-136
Purity in Erlang....Pages 137-152
iTask as a New Paradigm for Building GUI Applications....Pages 153-168
Improving Your CASH Flow: The C omputer A lgebra SH ell....Pages 169-184
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences....Pages 185-202
Composing Reactive GUIs in F# Using WebSharper....Pages 203-216
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Über die Festigkeit der gewölbten Böden und der Zylinderschale: Im Auftrag des Schweizerischen Vereins von Dampfkessel-Besitzern herausgegeben
دانلود کتاب HRM in Mission Driven Organizations: Managing People in the Not for Profit Sector
دانلود کتاب Revolution: the great crisis of the British monarchy, 1685-1720
دانلود کتاب Information literacy and cultural heritage: developing a model for lifelong learning
