Escher

Paradigms	logic programming, declarative programming, functional programming
Typing discipline	static typing, manifest typing
Type	programming language

Sources: Wikidata (CC0) · Wikidata Q5397186