Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,141,744 papers from all fields of science
Search
Sign In
Create Free Account
Haskell
Known as:
Homotopy Haskell
, Haskell language
, Cayenne programming language
Expand
Haskell /ˈhæskəl/ is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
Applicative programming language
Bit array
Bounds checking
CoffeeScript
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
K. Claessen
,
John Hughes
SIGP
2011
Corpus ID: 52849175
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
M. Chakravarty
,
G. Keller
,
Sean Lee
,
T. L. McDonell
,
Vinod Grover
DAMP '11
2011
Corpus ID: 992519
Current GPUs are massively parallel multicore processors optimised for workloads with a large degree of SIMD parallelism. Good…
Expand
Highly Cited
2007
Highly Cited
2007
A history of Haskell: being lazy with class
P. Hudak
,
John Hughes
,
S. Jones
,
P. Wadler
HOPL
2007
Corpus ID: 52847907
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and…
Expand
Highly Cited
2007
Highly Cited
2007
Programming in Haskell
G. Hutton
2007
Corpus ID: 61115427
Written by a leading Haskell researcher and instructor, well-known for his teaching skills, this clear-cut text will enable…
Expand
Highly Cited
2003
Highly Cited
2003
Haskell 98 language and libraries : the revised report
P. Jones
,
L. Simon
2003
Corpus ID: 60573638
Part I. The Haskell 98 Language: 1 Introduction 2 Lexical structure 3 Expressions 4 Declarations and bindings 5 Modules 6…
Expand
Highly Cited
2003
Highly Cited
2003
Helium, for learning Haskell
B. Heeren
,
Daan Leijen
,
A. V. IJzendoorn
Haskell '03
2003
Corpus ID: 11986908
Helium is a user-friendly compiler designed especially for learning the functional programming language Haskell. The quality of…
Expand
Highly Cited
1998
Highly Cited
1998
Lava: hardware design in Haskell
P. Bjesse
,
K. Claessen
,
M. Sheeran
,
Satnam Singh
ICFP '98
1998
Corpus ID: 6320195
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of…
Expand
Review
1996
Review
1996
Haskell - the craft of functional programming
S. Thompson
International computer science series
1996
Corpus ID: 35567420
From the Publisher: The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to…
Expand
Highly Cited
1996
Highly Cited
1996
Type classes in Haskell
Cordelia V. Hall
,
K. Hammond
,
S. Jones
,
P. Wadler
TOPL
1996
Corpus ID: 9227770
This article defines a set of type inference rules for resolving overloading introduced by type classes, as used in the…
Expand
Highly Cited
1992
Highly Cited
1992
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P. Hudak
,
S. Jones
,
+11 authors
J. Peterson
SIGP
1992
Corpus ID: 15516611
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published…
Expand
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