Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/DependentlyTypedLanguages> . }
Showing items 1 to 9 of
9
with 100 items per page.
- ATS_(programming_language) type DependentlyTypedLanguages.
- Agda_(programming_language) type DependentlyTypedLanguages.
- Cayenne_(programming_language) type DependentlyTypedLanguages.
- Coq type DependentlyTypedLanguages.
- Dependent_ML type DependentlyTypedLanguages.
- Epigram_(programming_language) type DependentlyTypedLanguages.
- Mizar_system type DependentlyTypedLanguages.
- Prototype_Verification_System type DependentlyTypedLanguages.
- Twelf type DependentlyTypedLanguages.