Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Idris_(programming_language)> }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Agda_(programming_language) influenced Idris_(programming_language).
- Epigram_(programming_language) influenced Idris_(programming_language).
- Haskell_(programming_language) influenced Idris_(programming_language).
- ML_(programming_language) influenced Idris_(programming_language).
- Rust_(programming_language) influenced Idris_(programming_language).
- Coq__programming_language__1 influenced Idris_(programming_language).
- Idris wikiPageDisambiguates Idris_(programming_language).
- Agda_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Comparison_of_functional_programming_languages wikiPageWikiLink Idris_(programming_language).
- Coq wikiPageWikiLink Idris_(programming_language).
- Dependent_type wikiPageWikiLink Idris_(programming_language).
- Epigram_(programming_language) wikiPageWikiLink Idris_(programming_language).
- General-purpose_programming_language wikiPageWikiLink Idris_(programming_language).
- Generational_list_of_programming_languages wikiPageWikiLink Idris_(programming_language).
- Haskell_(programming_language) wikiPageWikiLink Idris_(programming_language).
- History_of_software wikiPageWikiLink Idris_(programming_language).
- Idris wikiPageWikiLink Idris_(programming_language).
- Induction-recursion_(type_theory) wikiPageWikiLink Idris_(programming_language).
- Intuitionistic_type_theory wikiPageWikiLink Idris_(programming_language).
- List_of_arbitrary-precision_arithmetic_software wikiPageWikiLink Idris_(programming_language).
- List_of_programming_languages wikiPageWikiLink Idris_(programming_language).
- List_of_programming_languages_by_type wikiPageWikiLink Idris_(programming_language).
- ML_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Option_type wikiPageWikiLink Idris_(programming_language).
- Rust_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Substructural_type_system wikiPageWikiLink Idris_(programming_language).
- Timeline_of_programming_languages wikiPageWikiLink Idris_(programming_language).
- Type_theory wikiPageWikiLink Idris_(programming_language).
- Uniqueness_type wikiPageWikiLink Idris_(programming_language).
- Whitespace_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Agda_(programming_language) influenced Idris_(programming_language).
- Coq influenced Idris_(programming_language).
- Epigram_(programming_language) influenced Idris_(programming_language).
- ML_(programming_language) influenced Idris_(programming_language).
- Rust_(programming_language) influenced Idris_(programming_language).
- what-does-the-name-idris-mean isCitedBy Idris_(programming_language).
- www.idris-lang.org isCitedBy Idris_(programming_language).
- idris-0-10-released isCitedBy Idris_(programming_language).
- Idris_(programming_language) primaryTopic Idris_(programming_language).