Skip to search formSkip to main contentSkip to account menu

Haskell features

Known as: Haskell 98 features 
This article describes the features in Haskell.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a… 
2018
2018
Generic programming for mutually recursive families of datatypes is hard. On the other hand, most interesting abstract syntax… 
2015
2015
We describe the design and motivation for Servant, an extensible, type-level DSL for describing Web APIs. Servant APIs are… 
2014
2014
The Paxos algorithm is a distributed consensus algorithm, each round of which can be used to agree on a value proposed by a… 
2013
2013
Alvis is a modelling language designed for embedded systems that provides a possibility of a formal model verification. Because… 
2011
2011
Many people are interested in statistics, but providing an easy to use Website to analyze statistics can be difficult. We wanted… 
2007
2007
This report describes experiences with doing mathematics using Haskell in the fields of algebra and signal processing. It… 
2005
2005
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few… 
2004
2004
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards… 
1997
1997
The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration…