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影響因子(影響力)學(xué)科排名




書目名稱Central European Functional Programming School網(wǎng)絡(luò)公開度




書目名稱Central European Functional Programming School網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Central European Functional Programming School被引頻次




書目名稱Central European Functional Programming School被引頻次學(xué)科排名




書目名稱Central European Functional Programming School年度引用




書目名稱Central European Functional Programming School年度引用學(xué)科排名




書目名稱Central European Functional Programming School讀者反饋




書目名稱Central European Functional Programming School讀者反饋學(xué)科排名

高深莫測

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