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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
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
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
  • 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
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
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
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
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
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 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
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published… Expand
  • figure I
Is this relevant?