Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Epigram_(programming_language)> }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Haskell_(programming_language) influenced Epigram_(programming_language).
- Agda_(programming_language) influencedBy Epigram_(programming_language).
- Idris_(programming_language) influencedBy Epigram_(programming_language).
- Epigram_(disambiguation) wikiPageDisambiguates Epigram_(programming_language).
- Epigram_language wikiPageRedirects Epigram_(programming_language).
- Epigram_programming_language wikiPageRedirects Epigram_(programming_language).
- Agda_(programming_language) wikiPageWikiLink Epigram_(programming_language).
- Conor_McBride wikiPageWikiLink Epigram_(programming_language).
- Dependent_type wikiPageWikiLink Epigram_(programming_language).
- Epigram_(disambiguation) wikiPageWikiLink Epigram_(programming_language).
- Epigram_language wikiPageWikiLink Epigram_(programming_language).
- Epigram_programming_language wikiPageWikiLink Epigram_(programming_language).
- Functional_programming wikiPageWikiLink Epigram_(programming_language).
- Haskell_(programming_language) wikiPageWikiLink Epigram_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Epigram_(programming_language).
- Intuitionistic_type_theory wikiPageWikiLink Epigram_(programming_language).
- List_of_programming_languages wikiPageWikiLink Epigram_(programming_language).
- Per_Martin-Löf wikiPageWikiLink Epigram_(programming_language).
- Thorsten_Altenkirch wikiPageWikiLink Epigram_(programming_language).
- Total_functional_programming wikiPageWikiLink Epigram_(programming_language).
- Turing_completeness wikiPageWikiLink Epigram_(programming_language).
- Type_system wikiPageWikiLink Epigram_(programming_language).
- Type_theory wikiPageWikiLink Epigram_(programming_language).
- Unification_(computer_science) wikiPageWikiLink Epigram_(programming_language).
- Agda_(programming_language) influencedBy Epigram_(programming_language).
- Idris_(programming_language) influencedBy Epigram_(programming_language).
- epigram isCitedBy Epigram_(programming_language).
- Epigram_(programming_language) primaryTopic Epigram_(programming_language).