Search 250 million research papers

Haskell

Emilie Tallent · Journal of the Arkansas Academy of Science · 2015

A small collection of short stories.

Cited by 0Open access

Haskell

Geological Survey (U.S.) · The Portal to Texas History (University of North Texas) · 1992

Topographic map of a portion of Texas from the United States Geological Survey (USGS) project. The map includes towns, historic or notable sites, bodies of water, and other geologic features. Scale 1:100000

Cited by 0

Haskell

Tallent, Emilie · Journal of the Arkansas Academy of Science · 2015

First and foremost, the University of Arkansas Honors College Fellowship program, without which I would have inevitably been too insecure to pursue my love of English, and thus been relegated to the legions of thoroughly miserable doctors poking at rashes and combing

Cited by 0Open access

Haskell

The Gateway to Oklahoma History

Photograph of persons not identified by position: Joe Clark, Charles Picard, Katie Viex, Mike Buffalo, Alex McDougal, Katie St. Jacquie (?), Ida De Drosserand. Fragile, c. 1940.

Cited by 0

Haskell

Duncan Coutts, Isaac Potoczny-Jones, Don Stewart · 2008

The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on the breadth and quality of their library collection. Over the last few years, the Haskell community has risen to the task of building the library infrastructure necessary for Haskell to succeed as a programming language suitable for writing real-world applications.

Cited by 12

Haskell

Geological Survey (U.S.) · The Portal to Texas History (University of North Texas) · 1985

Topographic map of a portion of Texas from the United States Geological Survey (USGS) project. The map includes towns, historic or notable sites, bodies of water, and other geologic features. Scale 1:100000

Cited by 0Open access

Haskell

The Gateway to Oklahoma History

Cited by 0

haskell

Porter, Matthew A. · Zenodo (CERN European Organization for Nuclear Research) · 2025

Qompas AI on Haskell: The Most 'WhitePaper' language

Cited by 0Open access

Haskell

Ray Toal, Sage Strieker, Marco Berardini · 2024

Cited by 0

haskell

Porter, Matthew A. · Zenodo (CERN European Organization for Nuclear Research) · 2025

Qompas AI on Haskell: The Most 'WhitePaper' language

Cited by 0Open access

Haskell

The Gateway to Oklahoma History

Cited by 0

Haskell⁻¹: automatic function inversion in Haskell

Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg · 2021

We present an approach for automatic function inversion in Haskell. The inverse functions we generate are based on an extension of Haskell's computational model with non-determinism and free variables. We implement this functional logic extension of Haskell via a monadic lifting of functions and type declarations. Using inverse functions, we additionally show how Haskell's pattern matching can be augmented with support for functional patterns, which enable arbitrarily deep pattern matching in data structures. Finally, we provide a plugin for the Glasgow Haskell Compiler to seamlessly integrate inverses and functional patterns into the language, covering almost all of the Haskell2010 language standard.

Cited by 5

South Haskell Field Haskell County, Texas

H.S. Edwards · 1950

Cited by 0

Haskell National Bank, Haskell, Texas: Basement Plan

David S. Castle Co. · The Portal to Texas History (University of North Texas) · 1924

Basement plan for a bank building commissioned by Haskell National Bank in Haskell, Texas. It includes measurements, labels, wall boundary lines, and a plot plan. Other sections have an electrical code, heating code, and plumbing code.

Cited by 0

Haskell County Hospital Alterations, Haskell, Texas: Elevation

David S. Castle Co. · The Portal to Texas History (University of North Texas) · 1951

Elevation plan for alterations and additions to the Haskell County Hospital in Haskell, Texas. It includes an elevation drawing of the front side of the existing building.

Cited by 0

Haskell++: An Object-Oriented Extension of Haskell

John Hughes, Jan Sparud, Goteborg Sweden · 1995

this paper we show how to translate an object-oriented language into Haskell instead. Our translation is rather similar to Pierce and Turner's, but where they use subtyping to allow an inherited method to be applied at different types, we use Haskell's overloading with automatic generation of suitable instances. We have implemented a simple pre-processor which translates an object-oriented extension of Haskell, `Haskell++', into vanilla Haskell which can then be compiled with any of the existing compilers. We believe that, like Haskell's class system, our syntactic sugar can significantly improve code reuseability in practice. 2 An Introduction to Haskell++

Cited by 0

Yi - An Editor in Haskell for Haskell

Bernardy, Jean-Philippe · Chalmers Publication Library (Chalmers University of Technology) · 2008

Yi is a text editor written in Haskell and extensible in\nHaskell. We take advantage of Haskell's expressive power to\ndefine embedded DSLs that form the foundation of the editor. In turn, these DSLs provide a flexible mechanism to create extended versions of the editor. Yi also provides some support for editing Haskell code.

Cited by 0Open access

Haskell Rules: Embedding Rule Systems in Haskell

Steve Kollmansberger, Martin Erwig · 2006

We present a domain-specic embedded language that allows the denition of rule systems in Haskell. As one particular example, we consider the modeling of type systems, which is an important part of programming language design. Type systems are most conveniently described using rule systems. Our approach is well integrated into Haskell’s type system and thus facilitates the convenient modeling of type systems and language semantics in general. We also demonstrate how our DSEL allows functional-logic programming in Haskell. Our system generalizes previous work by operating on user-dened data types, taking advantage of static typing, representing rules as functions, and allows a creative integration of logical variables into data structures which generalizes two previous approaches. We describe a straightforward method for translating rule systems into our DSEL.

Cited by 1

Haskell National Bank, Haskell, Texas: Elevation Renderings

David S. Castle Co. · The Portal to Texas History (University of North Texas) · 1929

Elevation renderings for a bank building commissioned by Haskell National Bank in Haskell, Texas. Sections include north, west, east, and south street side elevation

Cited by 0

Verification of Haskell programs using Liquid Haskell

Kolstad, Morten Aske · Duo Research Archive (University of Oslo) · 2019

Cited by 0