1
Vydáno 2012
Témata: ...Computer programming....
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2014
Témata: ...Computer programming....
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2015
Obsah: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2008
Obsah: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2006
Obsah: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2011
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2010
Obsah: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2014
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2012
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2013
Obsah: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2005
Obsah: ... Functional Programs....
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2011
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2011
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2010
Obsah: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2005
Obsah: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2010
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2008
Obsah: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2015
Obsah: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2012
Témata: ...Computer programming....
Získat plný text
Elektronický zdroj E-kniha
20
Obsah: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání