Titlebook: Generic and Indexed Programming; Jeremy Gibbons Textbook 2012 Springer-Verlag Berlin Heidelberg 2012 bidirectional programming.category th

charity

書目名稱Generic and Indexed Programming影響因子(影響力)




書目名稱Generic and Indexed Programming影響因子(影響力)學(xué)科排名




書目名稱Generic and Indexed Programming網(wǎng)絡(luò)公開度




書目名稱Generic and Indexed Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Generic and Indexed Programming被引頻次




書目名稱Generic and Indexed Programming被引頻次學(xué)科排名




書目名稱Generic and Indexed Programming年度引用




書目名稱Generic and Indexed Programming年度引用學(xué)科排名




書目名稱Generic and Indexed Programming讀者反饋




書目名稱Generic and Indexed Programming讀者反饋學(xué)科排名

慎重

chalice

Typed Tagless Final Interpreters, a typed metalanguage, along with type-preserving interpretation, compilation and partial evaluation. The approach is an alternative to the traditional, or ‘initial’ encoding of an object language as a (generalized) algebraic data type. Both approaches permit multiple interpretations of an expressio

phytochemicals

顛簸地移動

Toxoid-Vaccines

Toxoid-Vaccines

異教徒

Vsd168

Three Complementary Approaches to Bidirectional Programming,th alignment problems. In presenting these approaches, we pay particular attention to use of ., which are structures that represent the information discarded by the transformation in the forward direction.

津貼

0302-9743 ndexed programmingGeneric programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on. Indexed