冠军 发表于 2025-3-21 19:39:25

书目名称Generic Programming影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0382382<br><br>        <br><br>书目名称Generic Programming读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0382382<br><br>        <br><br>

灵敏 发表于 2025-3-21 21:30:32

https://doi.org/10.1007/978-3-030-66591-3es based on the algebra of relations which forms a basis for understanding datatype-generic programs. We review the notion of parametric polymorphism much exploited in conventional functional programming languages and show how it is extended to the higher-order notions of polymorphism relevant to generic programming.

1分开 发表于 2025-3-22 04:14:14

http://reply.papertrans.cn/39/3824/382382/382382_3.png

讨好美人 发表于 2025-3-22 04:37:41

http://reply.papertrans.cn/39/3824/382382/382382_4.png

烦忧 发表于 2025-3-22 10:52:32

0302-9743August 2002:..- Generic Haskell: Practice and Theory..- Generic Haskell: Applications..- Generic Properties of Datatypes..- Basic Category Theory for Models of Syntax.978-3-540-20194-6978-3-540-45191-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

能得到 发表于 2025-3-22 13:15:19

http://reply.papertrans.cn/39/3824/382382/382382_6.png

能得到 发表于 2025-3-22 18:40:00

Textbook 2003rs first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002:..- Generic Haskell: Practice and Theory..- Generic Haskell: Applications..- Generic Properties of Datatypes..- Basic Category Theory for Models of Syntax.

Coma704 发表于 2025-3-23 00:17:21

0302-9743 voted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate...The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in

Esophagitis 发表于 2025-3-23 02:32:51

http://reply.papertrans.cn/39/3824/382382/382382_9.png

有角 发表于 2025-3-23 05:55:01

Critical Reflections on Developmente formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to ”real-world” components.
页: [1] 2 3 4
查看完整版本: Titlebook: Generic Programming; Advanced Lectures Roland Backhouse,Jeremy Gibbons Textbook 2003 Springer-Verlag Berlin Heidelberg 2003 allegory theory