This HTML5 document contains 64 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n5https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://mentalmodels4life.net/software/
freebasehttp://rdf.freebase.com/ns/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
n15https://users.cecs.anu.edu.au/~kee/Escher/
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n18http://www.cs.bris.ac.uk/Publications/Papers/
n24https://web.archive.org/web/20211127165402/http:/users.cecs.anu.edu.au/~kee/Escher/

Statements

Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Escher_(programming_language)
Subject Item
dbr:Escher_(programming_language)
rdf:type
yago:Abstraction100002137 yago:Communication100033020 dbo:ProgrammingLanguage yago:ProgrammingLanguage106898352 yago:WikicatFunctionalLanguages dbo:Language yago:ArtificialLanguage106894544 owl:Thing schema:Language wikidata:Q315 yago:Language106282651 wikidata:Q9143
rdfs:label
Escher (programming language)
rdfs:comment
Escher (named for M. C. Escher, "a master of endless loops") is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the mid-1990s. It was designed mostly as a research and teaching vehicle. The basic view of programming exhibited by Escher and related languages is that a program is a representation of a theory in some , and the program's execution (computation) is a deduction from the theory. The logic framework for Escher is Alonzo Church's simple theory of types.
foaf:name
Escher
dbp:name
Escher
dcterms:subject
dbc:Functional_languages
dbo:wikiPageID
15127666
dbo:wikiPageRevisionID
1112623754
dbo:wikiPageWikiLink
dbr:M._C._Escher dbr:Logic_programming dbr:Simple_theory_of_types dbr:Declarative_programming dbr:Meta-programming dbr:Alonzo_Church dbr:Haskell_(programming_language) dbr:Static_typing dbc:Functional_languages dbr:Programming_language dbr:Logic_framework dbr:Manifest_typing dbr:Functional_programming dbr:Monadic_type
dbo:wikiPageExternalLink
n15: n18:1000073.pdf n17: n24:
owl:sameAs
n5:4jZpL freebase:m.03hjc43 dbpedia-fa:اشر_(زبان_برنامه‌نویسی) yago-res:Escher_(programming_language) wikidata:Q5397186
dbp:wikiPageUsesTemplate
dbt:Infobox_programming_language
dbp:designer
J.W. Lloyd
dbp:implementations
n17:
dbp:influencedBy
dbr:Simple_theory_of_types
dbp:paradigm
dbr:Logic_programming dbr:Declarative_programming dbr:Functional_programming
dbp:typing
dbr:Manifest_typing dbr:Static_typing
dbp:year
-1990.0
dbo:abstract
Escher (named for M. C. Escher, "a master of endless loops") is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the mid-1990s. It was designed mostly as a research and teaching vehicle. The basic view of programming exhibited by Escher and related languages is that a program is a representation of a theory in some , and the program's execution (computation) is a deduction from the theory. The logic framework for Escher is Alonzo Church's simple theory of types. Escher, notably, supports I/O through a monadic type representing the 'outside world', in the style of Haskell.One of the goals of Escher's designers was to support meta-programming, and so the language has comprehensive support for generating and transforming programs.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Escher_(programming_language)?oldid=1112623754&ns=0
dbo:wikiPageLength
2690
dbo:influencedBy
dbr:Simple_theory_of_types
foaf:isPrimaryTopicOf
wikipedia-en:Escher_(programming_language)
Subject Item
dbr:Escher
dbo:wikiPageWikiLink
dbr:Escher_(programming_language)
dbo:wikiPageDisambiguates
dbr:Escher_(programming_language)
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:Escher_(programming_language)
dbo:influenced
dbr:Escher_(programming_language)
Subject Item
wikipedia-en:Escher_(programming_language)
foaf:primaryTopic
dbr:Escher_(programming_language)