-
21
-
22
-
23
-
24
Quantitative information flow with Monads in Haskell
Published 2020“…Monads are a popular feature of the programming language Haskell because they can model many different notions of computation in a uniform and purely functional way. …”
Book section -
25
-
26
-
27
-
28
BioShake: a Haskell EDSL for bioinformatics workflows
Published 2019-07-01Subjects: “…Haskell…”
Get full text
Article -
29
Hybrid eager and lazy evaluation for efficient compilation of Haskell
Published 2005Get full text
Thesis -
30
Experience Report: A Haskell interpreter for CellML
Published 2007“…In this paper we present our use of functional programming (FP), specifically Haskell, to provide an operational semantics for a domain-specific language, CellML, that describes mathematical models of biological processes. …”
Conference item -
31
-
32
Investigating STM in Haskell as an Alternative to Programming Systems with Shared Memory
Published 2010-03-01Subjects: Get full text
Article -
33
-
34
-
35
On the inverse problem for earthquake rupture: the Haskell-type source model
Published 1996“…We construct synthetic accelerograms in the vicinity of an earthquake for a discrete analog of the Haskell-type rupture model with a prescribed rupture velocity in a layered medium. …”
Journal article -
36
On the inverse problem for earthquake rupture: The Haskell-type source model
Published 1996“…We construct synthetic accelerograms in the vicinity of an earthquake for a discrete analog of the Haskell-type rupture model with a prescribed rupture velocity in a layered medium. …”
Journal article -
37
Scala for generic programmers Comparing Haskell and Scala support for generic programming
Published 2010“…Most approaches to DGP are developed in pure functional programming languages such as Haskell. We argue that the functional object-oriented language Scala is in many ways a better choice. …”
Journal article -
38
-
39
-
40
Effect of non-uniform station coverage on the inversion for earthquake rupture history for a Haskell-type source model
Published 1998“…In order to determine how reliably one can invert accelerograms to determine the rupture process details, when the station configuration is less than optimal, we use the vertical component of synthetic accelerograms for a Haskell-type earthquake rupture model, at stations in the vicinity of a dip-slip fault and solve the inverse problem. …”
Journal article