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
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
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
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
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
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
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
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… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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
Highly Cited
1992
Highly Cited
1992
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