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
Cayenne
Language
Cayenne
Programming language
dependent typing
Type system
Facts
Type system
dependent typing
Kind
dependently typed programming language
Paradigms
functional programming
Sources:
Wikidata (CC0)
·
Wikidata Q5055293