Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Dependently_typed_languages> }
Showing triples 1 to 28 of
28
with 100 triples per page.
- ALF_(proof_assistant) wikiPageWikiLink Category:Dependently_typed_languages.
- ATS_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Agda_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Cayenne_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Coq wikiPageWikiLink Category:Dependently_typed_languages.
- Dependent_ML wikiPageWikiLink Category:Dependently_typed_languages.
- Epigram_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- F*_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Idris_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- LEGO_(proof_assistant) wikiPageWikiLink Category:Dependently_typed_languages.
- Matita wikiPageWikiLink Category:Dependently_typed_languages.
- Mizar_system wikiPageWikiLink Category:Dependently_typed_languages.
- Prototype_Verification_System wikiPageWikiLink Category:Dependently_typed_languages.
- Twelf wikiPageWikiLink Category:Dependently_typed_languages.
- ALF_(proof_assistant) subject Category:Dependently_typed_languages.
- ATS_(programming_language) subject Category:Dependently_typed_languages.
- Agda_(programming_language) subject Category:Dependently_typed_languages.
- Cayenne_(programming_language) subject Category:Dependently_typed_languages.
- Coq subject Category:Dependently_typed_languages.
- Dependent_ML subject Category:Dependently_typed_languages.
- Epigram_(programming_language) subject Category:Dependently_typed_languages.
- F*_(programming_language) subject Category:Dependently_typed_languages.
- Idris_(programming_language) subject Category:Dependently_typed_languages.
- LEGO_(proof_assistant) subject Category:Dependently_typed_languages.
- Matita subject Category:Dependently_typed_languages.
- Mizar_system subject Category:Dependently_typed_languages.
- Prototype_Verification_System subject Category:Dependently_typed_languages.
- Twelf subject Category:Dependently_typed_languages.