1
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
2
Publié 2014
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
3
Publié 2012
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
4
Publié 2005
Table des matières: ... Functional Programs....
Accéder au texte intégral
Électronique eBook
5
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
6
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
7
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
8
Publié 2011
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
9
Publié 2012
Sujets: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Accéder au texte intégral
Électronique eBook
10
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
11
Publié 2014
Sujets: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Accéder au texte intégral
Électronique eBook
12
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
13
Publié 2011
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
14
Publié 2011
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
15
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
16
Publié 2010
Table des matières: ... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...
Accéder au texte intégral
Électronique eBook
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
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
19
Publié 2010
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
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