Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,499,687 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.
2015
2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Ekaterina Komendantskaya
,
Patricia Johann
arXiv.org
2015
Corpus ID: 18108315
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…
Expand
2012
2012
Hydro Law and the Future of Hydroelectric Power Generation in the United States (symposium)
D. Tarlock
2012
Corpus ID: 152499996
I. SETTING THE STAGE: HYDRO TRIUMPHS BUT ITS MARKET SHARE STEADILY DECLINES 1727A. The Pros 1734B. The Cons 17351. Fish Loss…
Expand
2011
2011
A Domain-Specific Language for Computing on Encrypted Data
A. Bain
,
John C. Mitchell
,
Rahul Sharma
,
D. Stefan
,
Joe Zimmerman
IACR Cryptology ePrint Archive
2011
Corpus ID: 8604732
In cloud computing, a client may request computation on confidential data that is sent to untrusted servers. While homomorphic…
Expand
2004
2004
Evolution of clutch size along latitudinal gradients: revisiting Ashmole’s hypothesis
E. Griebeler
,
K. Böhning‐Gaese
2004
Corpus ID: 56088866
Birds display a latitudinal gradient in clutch size. Ashmole’s hypothesis explains this geographic pattern by differences in…
Expand
2004
2004
Strategies for reclaiming urban postindustrial landscapes
Eric W. Ekman
2004
Corpus ID: 142583889
Expanding the primarily expert-driven and site-specific efforts to solve brownfield problems, this thesis develops a process…
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
2001
2001
Agent Coordination via Scripting Languages
Jean-Guy Schneider
,
M. Lumpe
,
Oscar Nierstrasz
Coordination of Internet Agents: Models…
2001
Corpus ID: 13442822
In recent years, so-called scripting languages have become increasingly popular as they provide means to build quickly flexible…
Expand
1999
1999
Rapid prototyping of specification language implementations
M. Leucker
,
T. Noll
Proceedings Tenth IEEE International Workshop on…
1999
Corpus ID: 16484055
Specification languages such as LOTOS and SDL play an important role in the design and implementation of distributed systems…
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
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE