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
2011
2011
Higher-Order Abstraction in Hardware Descriptions with C?aSH
Synchronous hardware can be straight forwardly modelled as a function from input and (current) state to an updated state and… 
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
Camp Counseling and the Development and Transfer of Workforce Skills: The Perspective of Ohio 4-H Camp Counselor Alumni
Recent research shows that camp counselors, including those in 4-H, benefit from the experience by developing important life… 
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… 
2004
2004
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain
This chapter describes the design of Hume: a domain-specific language targeting real-time embedded systems. Hume provides a… 
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… 
1974
1974
New Antibiotic Produced by Bacteria, 5-β-d-Xylofuranosylneamine
A new aminoglycoside antibiotic was isolated from the fermentation broths of two strains of Bacillus species. The antibiotic is… 
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)