1
Table of Contents: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
View full text
Electronic eBook
3
Table of Contents: ... To Define Functional Groups -- 2.4 Functional Characterization of Coastal Sandy Plain Vegetation...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
5
Published 2012
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
View full text
Electronic eBook
7
Published 2014
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
8
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
9
by Hunt, John., Hunt, John.
Published 2013
Table of Contents: ... Pattern -- Part IV – Gang of Four Patterns -- Gang of Four Design Patterns -- Gang of Four Patterns...
View full text
Electronic eBook
10
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
11
Table of Contents: ...Preface -- 1 Introduction -- 2 The Production Function -- 3 Optimisation with One Input -- 4...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Cryptanalysis of CLEFIA -- Hash Function Cryptanalysis (II) -- MD4 is Not One-Way -- Improved...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
14
by Hazrat, Roozbeh., Hazrat, Roozbeh.
Published 2010
Table of Contents: ... Functions producing lists -- 3.2 Listable functions -- 3.3 Selecting from a list -- 4. Changing heads! -- 5...
View full text
Electronic eBook
15
Table of Contents: ... -- .1.3 Rational numbers and real numbers -- 1.4 Power functions -- Ch. 2 Sequences and Series -- 2.1...
View full text
Electronic eBook
16
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
17
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...
View full text
Electronic eBook
18
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook
19
Table of Contents: ...1 Introduction -- 2 The Production Function -- 3 Optimisation with One Input -- 4 Production...
View full text
Electronic eBook
20
Table of Contents: ...Fundamentals of Functional Analysis -- Convex Functions -- Convex Programming -- Convex Control...
View full text
Electronic eBook