Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,951,197 papers from all fields of science
Search
Sign In
Create Free Account
Escher
Escher is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Declarative programming
Functional programming
Haskell
List of programming languages
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Local Tax Competition in Poland?
P. Swianiewicz
,
Julita Łukomska
2016
Corpus ID: 157858201
Abstract The concept of tax competition has been successfully applied in an analysis conducted in several European countries, but…
Expand
2008
2008
Oral-gestual, escritura, audio, audiovisual, y ¿digital? : Los cinco grados de la comunicación en educación
José María Perceval
,
S. Tejedor
2008
Corpus ID: 145348866
Resumen es: En el marco del presente articulo se presenta un recorrido a traves de cinco grados de la comunicacion en educacion…
Expand
2008
2008
Consentir sous tutelle. La place du consentement chez les majeurs placés sous mesures de protection
B. Eyraud
,
P. Vidal-Naquet
2008
Corpus ID: 178488676
La tutelle et la curatelle sont des mesures destinees a proteger les biens des personnes vulnerables. En general imposees par le…
Expand
2006
2006
Automated Model−based Verification of Object−Oriented Code
2006
Corpus ID: 315236
ESpec is a suite of tools that facilitates the testing and verification of object-oriented Eiffel programs in an integrated…
Expand
2005
2005
Discovery of amino acid amides as new substrates for α-amino-ɛ-caprolactam racemase from Achromobacter obae
Y. Asano
,
Shigenori Yamaguchi
2005
Corpus ID: 54805044
2005
2005
Software refinement with Perfect Developer
G. Carter
,
Rosemary Monahan
,
Joseph M. Morris
IEEE International Conference on Software…
2005
Corpus ID: 1562693
Perfect Developer is a software tool that supports the formal development of object-oriented programs by refinement, including…
Expand
2004
2004
Conjectures and Manipulations. Computational Modeling and the Extra- Theoretical Dimension of Scientific Discovery
L. Magnani
Minds and Machines
2004
Corpus ID: 37767092
Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological…
Expand
1999
1999
A depth controlling strategy for Strongly Typed Evolutionary Programming
C. Kennedy
,
C. Giraud-Carrier
1999
Corpus ID: 15065166
This paper presents a dynamic strategy for monitoring the depth of program trees evolved by STEPS (Strongly Typed Evolutionary…
Expand
1998
1998
'Smaller and Smaller' from Dynamics
K. Chung
,
H. Chan
,
B. N. Wang
Computers & graphics
1998
Corpus ID: 28797246
1963
1963
The Man Who Fell to Earth
Walter S. Tevis
1963
Corpus ID: 129699687
Thomas Jerome Newton is an extraterrestrial from the planet Anthea, which has been devastated by a series of nuclear wars, and…
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