Market values in eighteenth-century Rome. Review of: The Art Market in Rome in the Eighteenth Century: A Study in the Social History of Art, edited by Paolo Coen, Leiden and Boston... by Jeffrey Collins

“…By providing new detail on the ways Italian, British, German, and French artists, dealers, and collectors took part in the Roman art market, broadly conceived, the volume helps pick up where Francis Haskell left off in Painters and Patrons: A Study in the Relations between Italian Art and Society in the Age of the Baroque (1963). …”
Get full text

A Formal Comparison of Approaches to Datatype-Generic Programming by José Pedro Magalhães, Andres Löh

“…Many approaches to generic programming have been proposed over the years, most of them for Haskell, but recently also for dependently typed languages such as Agda. …”
Get full text

Effects of Casing on Full Waveform Acoustic Logs by Tubman, Kenneth M., Cheng, C. H., Toksoz, M. Nafi

“…The. model geometry consists of a central fluid cylinder surrounded by an arbitrary number of solid annuli. A Thomson-Haskell type propagator matrix is used to relate stresses and displacements across the layers. …”
Get full text

Profunctor optics, a categorical update by Clarke, B, Elkins, D, Gibbons, J, Loregian, F, Milewski, B, Pillmore, E, Román, M

“…Finally, we discuss a Haskell implementation.…”

A systematic derivation of the STG machine verified in Coq by Pirog, M, Biernacki, D

“…<p>Shared Term Graph (STG) is a lazy functional language used as an intermediate language in the Glasgow Haskell Compiler (GHC). In this article, we present a natural operational semantics for STG and we mechanically derive a lazy abstract machine from this semantics, which turns out to coincide with Peyton-Jones and Salkild's Spineless Tagless G-machine (STG machine) used in GHC. …”

APLicative programming with Naperian functors by Gibbons, J

“…We show here that such a custom language design is unnecessary: the requisite compatibility checks can already be captured in modern expressive type systems, as found for example in Haskell; moreover, generative type-driven programming can exploit that static type information constructively to automatically induce the appropriate liftings. …”

Adjoint folds and unfolds-An extended study by Hinze, R

“…The formal development is complemented by a series of examples in Haskell. © 2012 Elsevier B.V. All rights reserved.…”

Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes by Hinze, R, Wu, N, Gibbons, J

“…The formal development is complemented by a series of worked-out examples in Haskell.…”

Adjoint folds and unfolds—An extended study by Hinze, R

“…The formal development is complemented by a series of examples in Haskell.…”

Generic and Indexed Programming

“…A good grounding is assumed in typed functional programming, as in Haskell or OCaml. Six lecturers from the programming languages community, each an acknowledged expert in their specialism, covered various aspects of generic and indexed programming; each gave about four hours’ lectures, distributed throughout the week of the school. …”

Signatures and Induction Principles for Higher Inductive-Inductive Types by Ambrus Kaposi, András Kovács

“…The theory of HIIT signatures was formalised in Agda together with the syntactic translations. We also provide a Haskell implementation, which takes signatures as input and outputs translation results as valid Agda code.…”
Get full text

Realistic inversions to obtain gross properties of the earthquake faulting process by Das, S, Suhadolc, P, Kostrov, B

“…In order to investigate this, we use synthetic accelerograms constructed in the vicinity of a 20 km × 5 km dipping thrust fault for a discrete analog of the Haskell-type of fault model as the data and perform the inversion using much coarser spatial and temporal grids than used in constructing the data and widely used inversion methods. …”

O Conceito de Tempo nas Linguagens de Programação by Thiago Negri, Roque Cesar Possamai

“…Esta abordagem será feita no modelo atual, em Java, e, trazendo como uma possível alternativa, no modelo funcional puro e de avaliação preguiçosa, mais precisamente na linguagem Haskell.…”
Get full text

O Conceito de Tempo nas Linguagens de Programação by Thiago Negri, Roque Cesar Possamai

“…Esta abordagem será feita no modelo atual, em Java, e, trazendo como uma possível alternativa, no modelo funcional puro e de avaliação preguiçosa, mais precisamente na linguagem Haskell.…”
Get full text

Shear Wave Logging In (Multilayered) Elastic Formations: An Overview by Schmitt, D. P., Cheng, C. H.

“…The displacement-stress vectors are propagated through the layers using the Thomson-Haskell method. Only the well bonded configuration is investigated. …”
Get full text

O CONCEITO DE TEMPO NAS LINGUAGENS DE PROGRAMAÇÃO by Thiago Negri, Roque Cesar Possamai

“…Esta abordagem será feita no modelo atual, em Java, e, trazendo como uma possível alternativa, no modelo funcional puro e de avaliação preguiçosa, mais precisamente na linguagem Haskell. …”
Get full text

Una”significant form” svelata L’allestimento della mostra” Italian Art” alla Royal Academy nella Londra del 1930 by Barbara Clara Borghi

“…Thanks to the display descriptions left by Haskell and Witt it is now possible to retrace a structure in the galleries design of this  very first blockbuster exhibition. …”
Get full text

Limits of real numbers in the binary signed digit representation by Franziskus Wiesnet, Nils Köpp

“…All the proofs of the main theorem and the first application are implemented in the Minlog proof system and the extracted terms are further translated into Haskell. We compare two approaches. The first approach is a direct proof. …”
Get full text

One tool, many languages: language-parametric transformation with incremental parametric syntax by Koppel, James, Premtoon, Varot, Solar Lezama, Armando

“…We implement this approach in Haskell in our Cubix system, and construct incremental parametric syntaxes for C, Java, JavaScript, Lua, and Python. …”
Get full text

ADEV: Sound Automatic Differentiation of Expected Values of probabilistic programs by Lew, AK, Huot, M, Staton, S, Mansinghka, VK

“…Because it modularly extends forward-mode AD, our algorithm lends itself to a concise implementation strategy, which we exploit to develop a prototype in just a few dozen lines of Haskell (https://github.com/probcomp/adev).</p>…”