Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,168,165 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
(opens in a new tab)
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.
2019
2019
How to Calculate with Nondeterministic Functions
R. Bird
,
Florian Rabe
International Conference on Mathematics of…
2019
Corpus ID: 204832062
While simple equational reasoning is adequate for the calculation of many algorithms from their functional specifications, it is…
Expand
2009
2009
GPU Kernels as Data-Parallel Array Computations in Haskell
Sean Lee
,
M. Chakravarty
,
Vinod Grover
,
G. Keller
2009
Corpus ID: 2634957
We present a novel high-level parallel programming model for graphics processing units (GPUs). We embed GPU kernels as data…
Expand
2007
2007
Powerline easements: ecological impacts and effects on small mammal movement
Tanya C. Strevens
2007
Corpus ID: 126442359
Habitat loss and fragmentation are recognised as the two primary threats to biological diversity worldwide. Powerline easements…
Expand
2003
2003
Machine Vision for an Intelligent Tutor
C. Fan
,
Martin J. Johnson
,
C. Messom
,
A. Sarrafzadeh
2003
Corpus ID: 15235354
This paper presents a facial expression analysis system that performs recognition and emotional classification of human facial…
Expand
Review
2000
Review
2000
An Overview of Functional Nets
Martin Odersky
2000
Corpus ID: 1592965
Note: Lecture Notes, APPSEM Summer School, Caminha, Portugal, September 2000. Reference EPFL-TALK-64393 Record created on 2006-01…
Expand
1999
1999
Dry-season bird diversity in tropical rainforest and surrounding habitats in north-east Australia
Dominic D. P. Johnson
,
J. S. Mighell
1999
Corpus ID: 15564825
Summary: A quantitative analysis of bird species richness and abundance in habitats in and adjacent to rainforest in north-east…
Expand
1996
1996
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type
R. Fettig
,
B. Lochner
International Conference on Rewriting Techniques…
1996
Corpus ID: 28923462
We develop a higher-order unification algorithm for a restricted class of simply typed lambda terms with function space and…
Expand
1994
1994
Transport kinetics of maltotriose in strains ofSaccharomyces
Xiaohong Zheng
,
T. D'Amore
,
I. Russell
,
G. Stewart
Journal of Industrial Microbiology
1994
Corpus ID: 5663461
SummaryMaltotriose transport was studied in two brewer's yeast strains, an ale strain 3001 and a lager strain 3021, using…
Expand
1994
1994
Partitioning non-strict languages for multi-threaded code generation
S. Coorg
1994
Corpus ID: 28887901
In a non-strict language, functions may return values before their arguments are available, and data structures may be defined…
Expand
1993
1993
Coherence for Qualiied Types
Mark P. Jones
1993
Corpus ID: 6414131
ions and let expressions. Any such renaming is permitted so long as we avoid clashes with free variables. The nal group of…
Expand