1
Julkaistu 2012
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2014
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2008
Sisällysluettelo: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2011
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2014
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2012
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2013
Sisällysluettelo: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2005
Sisällysluettelo: ... Functional Programs....
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2011
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2011
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
14
Tekijä Addis, Tom., Addis, Tom., Addis, Jan.
Julkaistu 2010
Sisällysluettelo: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2010
Aiheet: ...Programming languages (Electronic computers)....
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2008
Sisällysluettelo: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2015
Sisällysluettelo: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2012
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
20
Tekijä Horváth, Zoltán., Horváth, Zoltán.
Julkaistu 2006
Sisällysluettelo: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
Hae kokoteksti
Elektroninen E-kirja