Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
  • figure 1
2018
2018
Generic programming for mutually recursive families of datatypes is hard. On the other hand, most interesting abstract syntax… Expand
  • figure 1
  • figure 7
2015
2015
We describe the design and motivation for Servant, an extensible, type-level DSL for describing Web APIs. Servant APIs are… Expand
  • figure 2
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… Expand
2014
2014
Implementing genetics and reproduction for artificial life involves a set of tasks that are only loosely dependent on the type of… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
2013
2013
Alvis is a modelling language designed for embedded systems that provides a possibility of a formal model verification. Because… Expand
2011
2011
Many people are interested in statistics, but providing an easy to use Website to analyze statistics can be difficult. We wanted… Expand
  • figure 2
  • figure 3
  • figure 7
  • figure 11
  • figure 12
2005
2005
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2004
2004
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
1997
1997
The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration… Expand