1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
View full text
Electronic eBook