1
Gepubliceerd in 2014
Onderwerpen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2012
Onderwerpen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2008
Inhoudsopgave: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ... Functional Programs....
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2006
Inhoudsopgave: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2015
Inhoudsopgave: ...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2011
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2012
Onderwerpen: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2014
Onderwerpen: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2013
Inhoudsopgave: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2011
Onderwerpen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2011
Onderwerpen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volledige tekst
Elektronisch E-boek
15
Onderwerpen: ...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
Elektronisch Tijdschrift
16
Gepubliceerd in 2008
Inhoudsopgave: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Volledige tekst
Elektronisch E-boek
17
door Addis, Tom., Addis, Tom., Addis, Jan.
Gepubliceerd in 2010
Inhoudsopgave: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Volledige tekst
Elektronisch E-boek
18
door Horváth, Zoltán., Horváth, Zoltán.
Gepubliceerd in 2006
Inhoudsopgave: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2015
Inhoudsopgave: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Volledige tekst
Elektronisch E-boek