Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/class/yago/DependentlyTypedLanguages> }
Showing triples 1 to 9 of
9
with 100 triples 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.