Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
programs type » programs types, programs t.e, programs time
setting https » being https, writing https, feeding https
functionality setting » functionality testing, functionality securing, functional setting
https functionality » its functionality, bags functionality, cross functionality
programs type » programs types, programs t.e, programs time
setting https » being https, writing https, feeding https
1
Published 2006
Table of Contents:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”View full text
Electronic
eBook
6
Table of Contents:
“... Bounds and Weakening of Convergence Conditions -- Point to Set Mappings -- The Newton Kantorovich Theorem...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
12
Table of Contents:
“...The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”View full text
Electronic
eBook
17
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook