1
Julkaistu 2015
Sisällysluettelo: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2006
Sisällysluettelo: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Hae kokoteksti
Elektroninen E-kirja
4
Aiheet: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2007
Sisällysluettelo: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2012
Sisällysluettelo: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2008
Sisällysluettelo: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2013
Sisällysluettelo: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2013
Sisällysluettelo: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...
Hae kokoteksti
Elektroninen E-kirja