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 2011
Assuntos: ...Programming languages (Electronic computers)....
Obter o texto integral
Recurso Electrónico livro electrónico
6
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
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
Por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado em 2010
Sumário: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Obter o texto integral
Recurso Electrónico livro electrónico
15
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
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
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
19
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
20
Publicado em 2012
Assuntos: ...Computer programming....
Obter o texto integral
Recurso Electrónico livro electrónico