Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Agda_(programming_language)> }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Coq influenced Agda_(programming_language).
- Haskell_(programming_language) influenced Agda_(programming_language).
- Idris_(programming_language) influencedBy Agda_(programming_language).
- Agda wikiPageDisambiguates Agda_(programming_language).
- Agda2 wikiPageRedirects Agda_(programming_language).
- Agda_(proof_assistant) wikiPageRedirects Agda_(programming_language).
- Agda_(theorem_prover) wikiPageRedirects Agda_(programming_language).
- Agda_theorem_prover wikiPageRedirects Agda_(programming_language).
- ALF_(proof_assistant) wikiPageWikiLink Agda_(programming_language).
- Agda wikiPageWikiLink Agda_(programming_language).
- Agda2 wikiPageWikiLink Agda_(programming_language).
- Agda_(proof_assistant) wikiPageWikiLink Agda_(programming_language).
- Agda_(theorem_prover) wikiPageWikiLink Agda_(programming_language).
- Agda_theorem_prover wikiPageWikiLink Agda_(programming_language).
- Blakers–Massey_theorem wikiPageWikiLink Agda_(programming_language).
- Coq wikiPageWikiLink Agda_(programming_language).
- Dependent_type wikiPageWikiLink Agda_(programming_language).
- First-class_citizen wikiPageWikiLink Agda_(programming_language).
- Functional_programming wikiPageWikiLink Agda_(programming_language).
- Generational_list_of_programming_languages wikiPageWikiLink Agda_(programming_language).
- Haskell_(programming_language) wikiPageWikiLink Agda_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Agda_(programming_language).
- Induction-recursion_(type_theory) wikiPageWikiLink Agda_(programming_language).
- Intuitionistic_type_theory wikiPageWikiLink Agda_(programming_language).
- List_of_arbitrary-precision_arithmetic_software wikiPageWikiLink Agda_(programming_language).
- List_of_programming_languages wikiPageWikiLink Agda_(programming_language).
- Option_type wikiPageWikiLink Agda_(programming_language).
- Per_Martin-Löf wikiPageWikiLink Agda_(programming_language).
- Proof_assistant wikiPageWikiLink Agda_(programming_language).
- Termination_analysis wikiPageWikiLink Agda_(programming_language).
- Timeline_of_programming_languages wikiPageWikiLink Agda_(programming_language).
- Type_class wikiPageWikiLink Agda_(programming_language).
- Type_theory wikiPageWikiLink Agda_(programming_language).
- Univalent_foundations wikiPageWikiLink Agda_(programming_language).
- Coq influenced Agda_(programming_language).
- Idris_(programming_language) influencedBy Agda_(programming_language).
- Agda_(programming_language) primaryTopic Agda_(programming_language).