Skip to search formSkip to main contentSkip to account menu

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… 
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… 
Highly Cited
2011
Highly Cited
2011
Current GPUs are massively parallel multicore processors optimised for workloads with a large degree of SIMD parallelism. Good… 
Highly Cited
2007
Highly Cited
2007
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and… 
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… 
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… 
Highly Cited
2003
Highly Cited
2003
Helium is a user-friendly compiler designed especially for learning the functional programming language Haskell. The quality of… 
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… 
Review
1996
Review
1996
  • 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… 
Highly Cited
1996
Highly Cited
1996
This article defines a set of type inference rules for resolving overloading introduced by type classes, as used in the… 
Highly Cited
1992
Highly Cited
1992
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published…