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
The Social Enterprise Revolution in Corporate Law: A Primer on Emerging Corporate Entities in Europe and the United States and the Case for the Benefit Corporation
Remarkably, in the face of a global recession, the social enterprise sector continued to experience extraordinary growth in both… 
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… 
Review
2008
Review
2008
A theoretical and experimental study of geometric networks
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important… 
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… 
Highly Cited
2000
Highly Cited
2000
Stepping through Haskell
This thesis contains a description of an implementation of an extended subset of the programming language Haskell. At the same… 
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… 
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)