1
Publié 2012
Sujets: ...Computer programming....
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Sujets: ...Computer programming....
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Accéder au texte intégral
Électronique eBook
5
Publié 2006
Table des matières: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Accéder au texte intégral
Électronique eBook
6
Publié 2011
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
7
Publié 2013
Table des matières: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Accéder au texte intégral
Électronique eBook
9
Publié 2014
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
10
Publié 2012
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
11
Publié 2005
Table des matières: ... Functional Programs....
Accéder au texte intégral
Électronique eBook
12
Publié 2011
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
13
Publié 2011
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
14
Publié 2005
Table des matières: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Accéder au texte intégral
Électronique eBook
16
Sujets: ...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
Électronique Revue
17
Publié 2013
Table des matières: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
19
Publié 2015
Table des matières: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Accéder au texte intégral
Électronique eBook
20
Publié 2008
Table des matières: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Accéder au texte intégral
Électronique eBook