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
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
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
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
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
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
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
Highly Cited
1996
Highly Cited
1996
Type classes in Haskell
This article defines a set of type inference rules for resolving overloading introduced by type classes, as used in the… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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
Highly Cited
1992
Highly Cited
1992
A gentle introduction to Haskell
Permission is hereby granted, free of charge, to any person obtaining a copy of “A Gentle Introduction to Haskell” (the Text), to… Expand
  • figure 1
  • figure 2
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