Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion type » recession type, recursive types, recursion trees
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion type » recession type, recursive types, recursion trees
1
Argitaratua 2007
Aurkibidea:
“...-Recursive Family -- Truth Values Algebras and Proof Normalization -- Curry-Style Types for Nominal Terms...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Testu osoa
Baliabide elektronikoa
eBook
4
Aurkibidea:
“.... Compilation -- 5. PCF with Types -- 6. Type Inference -- 7. References and Assignment -- 8. Records...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2008
Aurkibidea:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Testu osoa
Baliabide elektronikoa
eBook
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Argitaratua 2013
Aurkibidea:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Testu osoa
Baliabide elektronikoa
eBook
10
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”Testu osoa
Baliabide elektronikoa
eBook
12
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Argitaratua 2013
Aurkibidea:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2006
Aurkibidea:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Testu osoa
Baliabide elektronikoa
eBook
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Argitaratua 2015
Aurkibidea:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”Testu osoa
Baliabide elektronikoa
eBook
19
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Argitaratua 2006
Aurkibidea:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2013
Aurkibidea:
“... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]