Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
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
2005
2005
Time-Resolved Spectroscopy for Pharmaceutical Applications
C. Abrahamsson
2005
Corpus ID: 98541550
The work presented in this thesis aims at improving spectroscopic techniques for analysis of pharmaceutical solids. This…
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
Real-time Reactive Programming for Embedded Controllers
R. Kieburtz
ACM SIGPLAN International Conference on…
2001
Corpus ID: 14051063
Software-based controllers for physical devices and processes must provide both algorithmic functionality, which is the usual…
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
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
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