Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive selection » interaction selection, iterative selection, interactive television
selection programming » selection programme, skeleton programming, selective reprogramming
programming program » programming programmed, programming problem, programming problems
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interactive selection » interaction selection, iterative selection, interactive television
selection programming » selection programme, skeleton programming, selective reprogramming
programming program » programming programmed, programming problem, programming problems
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
10
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”View full text
Electronic
eBook
18
Table of Contents:
“... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
View full text
View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”View full text
Electronic
eBook
20
by Adefolalu, Adegoke, Asmuri, Siti Noraini, Kadar, Masne, Razaob, Nor Afifi, Chui, Chai Siaw, Mohd Rasdi, Hanif Farhan
Published 2024
“... interaction effect for depression (p = 0.045) in the control group. Conclusions The buddy program training...”Published 2024
View full text
Article