Compiling With Classical Connectives by Paul Downen, Zena M. Ariola

“…But this binary choice leaves out call-by-need which is used in practice to implement lazy-by-default languages like Haskell. We show how the notion of polarity can be extended beyond the value/name dichotomy to include call-by-need by adding a mechanism for sharing which is enough to compile a Haskell-like functional language with user-defined types. …”
Get full text

Comparing functional programming for implementing applications by Li, Yufeng.

“…This report documents the use of functional programming for implementing applications by comparing with imperative programming, taking Haskell, representing functional programming language, and C#, representing imperative programming language, as examples.…”
Get full text

A formal treatment of lossless data compression algorithms by Stratford, B

“…</p> <p>Our derivations are carried out using notation drawn from the functional programming language Haskell. Haskell provides a number of advantages over the more traditional imperative languages, although all programs are given in C in an appendix.…”

Theory and practice of shortcut fusion by Harper, T

“…This approach is called <em>shortcut fusion</em>, which has been implemented using various recursion schemes in the programming language Haskell. Despite their obvious similarities, however, the relationship between these techniques has not been formalised.…”

Handbook of Computer Programming and Hardware Description Languages / by Forney, Justin, author 640040, Ivory, Leta, author 640041

Get full text

The relation of microseisms to meteorological conditions by Dewart, Gilbert, 1932-

Get full text

A Functional and Monadic Proof Assistant for Streams by James, D

“…The tool is implemented in the purely functional language Haskell and makes extensive use of monads. The emphasis of the project is pla­ced on simplicity, clarity and terseness.…”

The nature and origin of microseisms by Haq, Kazi Enamul

Get full text

Spectrum analysis in seismology by Walsh, William Patrick

Get full text

Some aspects of chemical energy in geology by Saull, Vincent Alexander

Get full text

Velocity of shear waves through unconsolidated materials by Southwick, Peter Frederick, 1920-

Get full text

Theory and Practice of Fusion by Hinze, R, Harper, T, James, D

“…We also showcase these developments with examples in Haskell.…”

Theory and Practice of Fusion by Hinze, R, Harper, T, James, D

“…We also showcase these developments with examples in Haskell.…”

Logic for exact real arithmetic by Helmut Schwichtenberg, Franziskus Wiesnet

“…Some experiments with running the extracted term are described, after its translation to Haskell.…”
Get full text

Theory and practice of fusion by Hinze, R, Harper, T, James, D

“…We also showcase these developments with examples in Haskell. © 2011 Springer-Verlag.…”

Theory and Practice of Fusion by Hinze, R, Harper, T, James, D

“…We also showcase these developments with examples in Haskell.…”

Theory and Practice of Fusion by Hinze, R, James, D, Harper, T

“…We also showcase these developments with examples in Haskell.…”

Typed Quote/Antiquote—Or: Compile−time Parsing by Hinze, R

“…Haskell is often used as a host language for embedding other languages. …”

Comprehending Ringads by Gibbons, J

“…List comprehensions are a widely used programming construct, in languages such as Haskell and Python and in technologies such as Microsoft’s Language Integrated Query. …”

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems by Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro

“…We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotations is transformed into functionally equivalent code better suited for a given platform. …”
Get full text