Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
type functionals » type functional, type functions, typed functional
computing type » computing types, computing tips, computing tree
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
type functionals » type functional, type functions, typed functional
computing type » computing types, computing tips, computing tree
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... -- Parallel Donor Genotyping For 46 Selected Blood Group and 4 Human Platelet Antigens Using High-Throughput...”View full text
Electronic
eBook
3
4
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”View full text
Electronic
eBook
6
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
14
Table of Contents:
“... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
16
Table of Contents:
“... definitions -- 1.3 Types of PKM architectures -- 1.4 Why a book dedicated to the dynamics of parallel robots...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Computing Matrix Representations of Filiform Lie Algebras -- Type Specialization in Aldor -- An Algebraic...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....”View full text
Electronic
eBook