<i>Algebra of Programming</i> by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). 论文

1999Journal of Functional Programming引用 247
DOI
Logic, programming, and type systemsComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

<i>Algebra of Programming</i> by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). · 相关事件

暂无数据