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
Is this relevant?
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
Is this relevant?
2017
2017
This paper presents YesWeb, an improved framework of Yesod. Yesod is a well-known web-development framework written in Haskell… Expand
  • figure 1
  • figure 6
  • figure 7
  • figure 2
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2013
2013
Alvis is a modelling language designed for embedded systems that provides a possibility of a formal model verification. Because… Expand
Is this relevant?
2007
2007
This report describes experiences with doing mathematics using Haskell in the fields of algebra and signal processing. It… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
1997
1997
The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration… Expand
Is this relevant?