Pesquisas alternativas:
function functions » functions functions, function function, junction functions
programs computer » programming computer, forms computer
functions https » foundations https
computer https » computers https, computing https, computer arts
https function » its function, sites function, ups function
1
Publicado em 2012
Assuntos: ...Computer programming....
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Assuntos: ...Computer programming....
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2015
Sumário: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2011
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2014
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2012
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2013
Sumário: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2005
Sumário: ... Functional Programs....
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2011
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2011
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Assuntos: ...Functional programming (Computer science) Periodicals....
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
Recurso Electrónico Periódico
19
Publicado em 2015
Sumário: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2012
Assuntos: ...Computer programming....
Obter o texto integral
Recurso Electrónico livro electrónico