Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program functions » programs functional, program foundations, programme function
function relation » function relations, function regulation, function section
functions https » foundations https
https function » its function, sites function, ups function
relation https » relations https, religion https, relations http
program functions » programs functional, program foundations, programme function
function relation » function relations, function regulation, function section
functions https » foundations https
https function » its function, sites function, ups function
relation https » relations https, religion https, relations http
1
Udgivet 2010
Indholdsfortegnelse:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2014
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2012
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Få fuldtekst
Electronisk
eBog
5
6
Udgivet 2015
Indholdsfortegnelse:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2011
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2012
Fag:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Fag:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2011
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2011
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2015
Indholdsfortegnelse:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2012
Fag:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Få fuldtekst
Electronisk
eBog
19
Indholdsfortegnelse:
“... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Få fuldtekst
Electronisk
eBog