Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
program techniques » programs techniques, program technique, programing techniques
functions function » functions functions, function function, functions functional
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
program techniques » programs techniques, program technique, programing techniques
functions function » functions functions, function function, functions functional
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
1
Опубликовано 2013
Оглавление:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
3
4
Опубликовано 2015
Оглавление:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2012
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2006
Оглавление:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2011
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2012
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2012
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2015
Оглавление:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2013
Оглавление:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2005
Оглавление:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Полный текст
Электронный ресурс
eКнига
17
Оглавление:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Полный текст
Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Предметы:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2008
Оглавление:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2007
Оглавление:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Полный текст
Электронный ресурс
eКнига