Skip to search formSkip to main contentSkip to account menu

Haskell

Known as: Homotopy Haskell, Haskell language, Cayenne programming language 
Haskell /ˈhæskəl/ is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Applicative programming languageBit arrayBounds checkingCoffeeScript

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
2009
2009
Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels
This paper presents a Common Criteria protection profile for high assurance security kernels (HASK-PP) based on the results and… 
2007
2007
Finding Inputs that Reach a Target Expression
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked… 
2001
2001
Scientific discovery using genetic programming
Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other… 
2000
2000
A Computation Model for Z Based on Concurrent Constraint Resolution
We present a computation model for Z, which is based on a reduction to a small calculus, called µZ, and on concurrent constraint… 
Highly Cited
1998
Highly Cited
1998
Scripting COM components in Haskell
The expressiveness of higher-order typed languages such as Haskell or ML makes them an attractive medium in which to write… 
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
1986
1986
Power Reduction Techniques in Megabit DRAM's
Power dissipation in dynamic random-access memories (DRAM's) is described. Power reduction techniques are summarized and a… 
1973
1973
Regional variations in the structure of the crust in the central United States from P-wave spectra
Regional variations in the crustal structure in the central United States have been inferred by the transfer ratio method from… 
1968
1968
Large scale processing of seismic data in search of regional and global stress patterns
A composite compute program has been devised for a fast reduction of multistation seismic data in the period range 50–500 sec for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)