Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Dependent_type> }
- DTP wikiPageDisambiguates Dependent_type.
- Comparision_of_programming_languages_with_dependent_types wikiPageRedirects Dependent_type.
- Dependent_type_theory wikiPageRedirects Dependent_type.
- Dependent_types wikiPageRedirects Dependent_type.
- Dependent_typing wikiPageRedirects Dependent_type.
- Dependently-typed wikiPageRedirects Dependent_type.
- Dependently-typed_language wikiPageRedirects Dependent_type.
- Dependently-typed_programming_language wikiPageRedirects Dependent_type.
- Dependently_typed wikiPageRedirects Dependent_type.
- Dependently_typed_language wikiPageRedirects Dependent_type.
- Dependently_typed_programming wikiPageRedirects Dependent_type.
- Dependently_typed_programming_language wikiPageRedirects Dependent_type.
- Sigma_type wikiPageRedirects Dependent_type.
- ΛΠ-calculus wikiPageRedirects Dependent_type.
- ALF_(proof_assistant) wikiPageWikiLink Dependent_type.
- Agda_(programming_language) wikiPageWikiLink Dependent_type.
- Aldor wikiPageWikiLink Dependent_type.
- Automath wikiPageWikiLink Dependent_type.
- Cayenne_(programming_language) wikiPageWikiLink Dependent_type.
- Comma_category wikiPageWikiLink Dependent_type.
- Comparision_of_programming_languages_with_dependent_types wikiPageWikiLink Dependent_type.
- Container_(type_theory) wikiPageWikiLink Dependent_type.
- Coq wikiPageWikiLink Dependent_type.
- Curry–Howard_correspondence wikiPageWikiLink Dependent_type.
- DTP wikiPageWikiLink Dependent_type.
- Dependency wikiPageWikiLink Dependent_type.
- Dependent_ML wikiPageWikiLink Dependent_type.
- Dependent_type_theory wikiPageWikiLink Dependent_type.
- Dependent_types wikiPageWikiLink Dependent_type.
- Dependent_typing wikiPageWikiLink Dependent_type.
- Dependently-typed wikiPageWikiLink Dependent_type.
- Dependently-typed_language wikiPageWikiLink Dependent_type.
- Dependently-typed_programming_language wikiPageWikiLink Dependent_type.
- Dependently_typed wikiPageWikiLink Dependent_type.
- Dependently_typed_language wikiPageWikiLink Dependent_type.
- Dependently_typed_programming wikiPageWikiLink Dependent_type.
- Dependently_typed_programming_language wikiPageWikiLink Dependent_type.
- Epigram_(programming_language) wikiPageWikiLink Dependent_type.
- F*_(programming_language) wikiPageWikiLink Dependent_type.
- Fibred_category wikiPageWikiLink Dependent_type.
- Formal_verification wikiPageWikiLink Dependent_type.
- Function_type wikiPageWikiLink Dependent_type.
- Functional_programming wikiPageWikiLink Dependent_type.
- Generalized_algebraic_data_type wikiPageWikiLink Dependent_type.
- Guru_(disambiguation) wikiPageWikiLink Dependent_type.
- Haskell_(programming_language) wikiPageWikiLink Dependent_type.
- Higher-order_logic wikiPageWikiLink Dependent_type.
- History_of_programming_languages wikiPageWikiLink Dependent_type.
- History_of_type_theory wikiPageWikiLink Dependent_type.
- Homotopy_type_theory wikiPageWikiLink Dependent_type.
- Idris_(programming_language) wikiPageWikiLink Dependent_type.
- Index_of_philosophy_articles_(D–H) wikiPageWikiLink Dependent_type.
- Intuitionistic_type_theory wikiPageWikiLink Dependent_type.
- Lambda_cube wikiPageWikiLink Dependent_type.
- List_of_types_of_functions wikiPageWikiLink Dependent_type.
- Logical_framework wikiPageWikiLink Dependent_type.
- Metaprogramming wikiPageWikiLink Dependent_type.
- Natural_deduction wikiPageWikiLink Dependent_type.
- Per_Martin-Löf wikiPageWikiLink Dependent_type.
- Phase_distinction wikiPageWikiLink Dependent_type.
- Product_type wikiPageWikiLink Dependent_type.
- Proof_assistant wikiPageWikiLink Dependent_type.
- Prototype_Verification_System wikiPageWikiLink Dependent_type.
- Rosetta-lang wikiPageWikiLink Dependent_type.
- Sigma_type wikiPageWikiLink Dependent_type.
- Simply_typed_lambda_calculus wikiPageWikiLink Dependent_type.
- System_F wikiPageWikiLink Dependent_type.
- Total_functional_programming wikiPageWikiLink Dependent_type.
- Turing_completeness wikiPageWikiLink Dependent_type.
- Twelf wikiPageWikiLink Dependent_type.
- Type_system wikiPageWikiLink Dependent_type.
- Typed_lambda_calculus wikiPageWikiLink Dependent_type.
- Unification_(computer_science) wikiPageWikiLink Dependent_type.
- X10_(programming_language) wikiPageWikiLink Dependent_type.
- ΛΠ-calculus wikiPageWikiLink Dependent_type.
- summary?doi=10.1.1.17.7385 isCitedBy Dependent_type.
- Xanadu.html isCitedBy Dependent_type.
- Martin-Lof80.pdf isCitedBy Dependent_type.
- ydtm.pdf isCitedBy Dependent_type.
- book isCitedBy Dependent_type.
- DependentTypesAtWork.pdf isCitedBy Dependent_type.
- 91afbc27b7359710fa1ffee7ced8e934f57948ce84455eaf4487f38970919ef7 isCitedBy Dependent_type.
- s0956796803004829 isCitedBy Dependent_type.
- Idris isCitedBy Dependent_type.
- book.pdf isCitedBy Dependent_type.
- listing.php?repname=helm&path=%2F&sc=0 isCitedBy Dependent_type.
- 2051 isCitedBy Dependent_type.
- message.php?msg_id=27050673 isCitedBy Dependent_type.
- files isCitedBy Dependent_type.
- pmwiki.php?n=Main.Download isCitedBy Dependent_type.
- Algebra.RingSolver.html isCitedBy Dependent_type.
- ifl08.pdf isCitedBy Dependent_type.
- petcher-thesis.pdf isCitedBy Dependent_type.
- How-does-Idris-compare-to-other-dependently-typed-programming-languages isCitedBy Dependent_type.
- list isCitedBy Dependent_type.
- CHANGES?root=coq&view=log isCitedBy Dependent_type.
- master isCitedBy Dependent_type.
- Aldor paradigm Dependent_type.
- Epigram_(programming_language) typing Dependent_type.
- F*_(programming_language) typing Dependent_type.