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