Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programs computation » programs competition, program computational, program compilation
computation https » computing https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs computation » programs competition, program computational, program compilation
computation https » computing https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
2
3
Опубликовано 2015
Оглавление:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2011
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2012
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
11
12
Опубликовано 2011
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2011
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Оглавление:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Полный текст
Электронный ресурс
eКнига
15
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
Электронный ресурс
Журнал
16
Опубликовано 2005
Оглавление:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2010
Предметы:
“...Programming languages (Electronic computers)....”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2015
Оглавление:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2008
Оглавление:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Полный текст
Электронный ресурс
eКнига
20