Skip to search formSkip to main contentSkip to account menu

Escher

Escher is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Declarative programmingFunctional programmingHaskellList of programming languages

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Local Tax Competition in Poland?
Abstract The concept of tax competition has been successfully applied in an analysis conducted in several European countries, but… 
2008
2008
Oral-gestual, escritura, audio, audiovisual, y ¿digital? : Los cinco grados de la comunicación en educación
Resumen es: En el marco del presente articulo se presenta un recorrido a traves de cinco grados de la comunicacion en educacion… 
2008
2008
Consentir sous tutelle. La place du consentement chez les majeurs placés sous mesures de protection
La tutelle et la curatelle sont des mesures destinees a proteger les biens des personnes vulnerables. En general imposees par le… 
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… 
2005
2005
Discovery of amino acid amides as new substrates for α-amino-ɛ-caprolactam racemase from Achromobacter obae
2005
2005
Software refinement with Perfect Developer
Perfect Developer is a software tool that supports the formal development of object-oriented programs by refinement, including… 
2004
2004
Conjectures and Manipulations. Computational Modeling and the Extra- Theoretical Dimension of Scientific Discovery
Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological… 
1999
1999
A depth controlling strategy for Strongly Typed Evolutionary Programming
This paper presents a dynamic strategy for monitoring the depth of program trees evolved by STEPS (Strongly Typed Evolutionary… 
1998
1998
'Smaller and Smaller' from Dynamics
1963
1963
The Man Who Fell to Earth
Thomas Jerome Newton is an extraterrestrial from the planet Anthea, which has been devastated by a series of nuclear wars, and… 
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)