1
منشور في 2012
الموضوعات: ...Computer programming....
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2015
جدول المحتويات: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
الموضوعات: ...Computer programming....
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2010
جدول المحتويات: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2014
الموضوعات: ...Programming languages (Electronic computers)....
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2012
الموضوعات: ...Programming languages (Electronic computers)....
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2006
جدول المحتويات: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2011
الموضوعات: ...Programming languages (Electronic computers)....
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2005
جدول المحتويات: ... Functional Programs....
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2013
جدول المحتويات: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2011
الموضوعات: ...Programming languages (Electronic computers)....
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2011
الموضوعات: ...Programming languages (Electronic computers)....
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2010
جدول المحتويات: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2005
جدول المحتويات: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2007
جدول المحتويات: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2006
جدول المحتويات: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2005
جدول المحتويات: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2015
جدول المحتويات: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
احصل على النص الكامل
الكتروني كتاب الكتروني