LTW
languages & frameworks
ltw://languages
Sponsor
Languages
Paradigms
Type systems
Timeline
Influence
Frameworks
Framework kinds
LTW
Home
Languages
Paradigms
Type systems
Timeline
Influence
Frameworks
Framework kinds
LTW
Changelog
Sponsor
Readme
Contact
Sponsor
Home
Languages
Gödel
Language
Gödel
Programming language
1992
Appeared
strong typing
Type system
Facts
Appeared
1992
Type system
strong typing
Paradigms
logic programming
,
declarative programming
Sources:
Wikidata (CC0)
·
Wikidata Q3294091