Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
type functionals » type functional, type functions, typed functional
function https » functions https, fiction https
programs type » programs types, programs t.e, programs time
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
type functionals » type functional, type functions, typed functional
function https » functions https, fiction https
programs type » programs types, programs t.e, programs time
1
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
4
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”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 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”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 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
9
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
10
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
11
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
12
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”View full text
Electronic
eBook
19
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook