Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions generic » function genetic, functional genetic, function genetics
program function » programme function, programs functional, program foundation
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
generic https » genetics https, general https, genomics https
functions generic » function genetic, functional genetic, function genetics
program function » programme function, programs functional, program foundation
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
generic https » genetics https, general https, genomics https
1
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...”View full text
Electronic
eBook
3
Table of Contents:
“...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
View full text
View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Scope Analysis for Generic Programs on Arrays....”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”View full text
Electronic
eBook
10
Table of Contents:
“...0. Introduction -- 1. Philosophy and Overview of the Book -- 2. Gaussian Processes and the Generic...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... of Bioregulatory Networks -- Canonical Ground Horn Theories -- Generic Functional Representation of Sorted Trees...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”View full text
Electronic
eBook
15
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
20
Table of Contents:
“...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
View full text
View full text
Electronic
eBook