Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,978,403 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.
2018
2018
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors
F. Cerveira
,
Alcides Fonseca
,
R. Barbosa
,
H. Madeira
European Dependable Computing Conference
2018
Corpus ID: 53282944
The choice of programming language depends on a number of factors, such as efficiency and maintainability. With the predicted…
Expand
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
2010
2010
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Fuji International Symposium on Functional and…
2010
Corpus ID: 11278508
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
Review
2004
Review
2004
EDUCATIONAL INTERESTS OF SECONDARY AGRICULTURAL EDUCATION TEACHERS IN GEORGIA: IMPLICATIONS FOR THE DELIVERY OF EDUCATIONAL PROGRAMMING AT A DISTANCE
M. Edwards
,
Bryan McLucas
,
G. Briers
,
F. R. Rohs
2004
Corpus ID: 154794002
This study described the interests of agricultural education teachers in receiving educational programming at a distance, and…
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
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