Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality computing » functionality combining, function computing, functionality using
program functionality » protein functionality, programs functional, supra functionality
parallel haskell » parallel tasks, parallel phase, parallel task
haskell program » shell program, farrelly program
https » http
functionality computing » functionality combining, function computing, functionality using
program functionality » protein functionality, programs functional, supra functionality
parallel haskell » parallel tasks, parallel phase, parallel task
haskell program » shell program, farrelly program
https » http
1
2
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”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
Published 2010
Table of Contents:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”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:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”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:
“...A Prescription for Safely Relaxing -- Partial Type Signatures for Haskell -- The F# Computation...”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