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

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… Expand
Wikipedia

Related topics

Related topics

50 relations
Applicative programming languageBit arrayBounds checkingCoffeeScript
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
QuickCheck: a lightweight tool for random testing of Haskell programs
QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Accelerating Haskell array codes with multicore GPUs
Current GPUs are massively parallel multicore processors optimised for workloads with a large degree of SIMD parallelism. Good… Expand
  • table 1
  • figure 2
  • table 3
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Static contract checking for Haskell
  • Na Xu
  • POPL '09
  • 2009
    • Corpus ID: 6223557
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Programming in Haskell
Written by a leading Haskell researcher and instructor, well-known for his teaching skills, this clear-cut text will enable… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A history of Haskell: being lazy with class
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and… Expand
  • figure 1
  • figure 2
  • figure 7
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Encoding information flow in Haskell
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming… Expand
  • figure 2
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Haskell 98 language and libraries : the revised report
Part I. The Haskell 98 Language: 1 Introduction 2 Lexical structure 3 Expressions 4 Declarations and bindings 5 Modules 6… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
QuickCheck: a lightweight tool for random testing of Haskell programs
Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Lava: hardware design in Haskell
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of… Expand
  • figure 4
  • figure 9
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published… Expand
  • figure I
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE