Titlebook: Central European Functional Programming School; Third Summer School, Zoltán Horváth,Rinus Plasmeijer,Viktória Zsók Textbook 2010 Springer B

无限

书目名称Central European Functional Programming School影响因子(影响力)




书目名称Central European Functional Programming School影响因子(影响力)学科排名




书目名称Central European Functional Programming School网络公开度




书目名称Central European Functional Programming School网络公开度学科排名




书目名称Central European Functional Programming School被引频次




书目名称Central European Functional Programming School被引频次学科排名




书目名称Central European Functional Programming School年度引用




书目名称Central European Functional Programming School年度引用学科排名




书目名称Central European Functional Programming School读者反馈




书目名称Central European Functional Programming School读者反馈学科排名

高深莫测

Erlang Behaviours: Programming with Process Design Patterns,ile executing different code, do so following a number of common patterns. By examining different examples of Erlang-style concurrency in client/server architectures, we identify the generic and specific parts of the code and extract the generic code to form a process skeleton. In Erlang, the most c

G-spot

催眠

Programming in Manticore, a Heterogenous Parallel Functional Language, Manticore is a . language that supports parallelism at multiple levels. Specifically, the Manticore language combines Concurrent ML-style explicit concurrency with fine-grain, implicitly threaded, parallel constructs. These lectures will introduce the Manticore language and explore a variety of pro

Vital-Signs

Fresco

Fresco

An Effective Methodology for Defining Consistent Semantics of Complex Systems,onstruct such a semantics..Semantics is a formal description of the meaning of language constructs. Just like any other formal description there are umpteen ways of introducing flaws in such a description. Even trained people are not very effective in spotting issues in formal text. In this paper we

Cognizance

Functional Programming with C++ Template Metaprograms,r to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaption, language embedding and active libraries. However, as template metaprogramming was not an original design goal, t

施魔法

Embedding a Proof System in Haskell,is to create formally verified software using the . principle. Using . as the host language provides a powerful and flexible environment so that programming language tools can be used to build proofs..The main contribution of this paper is the systematic analysis of different techniques for language

LAY