<i>Algebra of Programming</i> by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). 论文
1999Journal of Functional Programming引用 247
Logic, programming, and type systemsComputability, Logic, AI Algorithms
摘要
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.