Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dependent_ML> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Dependent_ML abstract "Dependent ML is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions.By restricting the generality of full dependent types type checking remains decidable. Type inference remains undecidable. Some computer scientists do not consider DML's types to be dependent as there is still a phase distinction between compilation and execution of the program.Dependent ML has been superseded by ATS and is no longer under active development.".
- Dependent_ML wikiPageExternalLink DML.html.
- Dependent_ML wikiPageID "1951390".
- Dependent_ML wikiPageLength "1789".
- Dependent_ML wikiPageOutDegree "21".
- Dependent_ML wikiPageRevisionID "636825826".
- Dependent_ML wikiPageWikiLink ATS_(programming_language).
- Dependent_ML wikiPageWikiLink Benjamin_C._Pierce.
- Dependent_ML wikiPageWikiLink Category:Declarative_programming_languages.
- Dependent_ML wikiPageWikiLink Category:Dependently_typed_languages.
- Dependent_ML wikiPageWikiLink Category:Discontinued_programming_languages.
- Dependent_ML wikiPageWikiLink Category:Functional_languages.
- Dependent_ML wikiPageWikiLink Category:ML_programming_language_family.
- Dependent_ML wikiPageWikiLink Category:Programming_languages_created_in_the_1990s.
- Dependent_ML wikiPageWikiLink David_Aspinall.
- Dependent_ML wikiPageWikiLink Decidability_(logic).
- Dependent_ML wikiPageWikiLink Dependent_type.
- Dependent_ML wikiPageWikiLink Dependent_types.
- Dependent_ML wikiPageWikiLink Frank_Pfenning.
- Dependent_ML wikiPageWikiLink Functional_programming.
- Dependent_ML wikiPageWikiLink Functional_programming_language.
- Dependent_ML wikiPageWikiLink Hongwei_Xi.
- Dependent_ML wikiPageWikiLink Indexed_type.
- Dependent_ML wikiPageWikiLink Journal_of_Functional_Programming.
- Dependent_ML wikiPageWikiLink ML_(programming_language).
- Dependent_ML wikiPageWikiLink ML_programming_language.
- Dependent_ML wikiPageWikiLink Martin_Hofmann.
- Dependent_ML wikiPageWikiLink Phase_distinction.
- Dependent_ML wikiPageWikiLink Type_checking.
- Dependent_ML wikiPageWikiLink Type_inference.
- Dependent_ML wikiPageWikiLink Type_system.
- Dependent_ML wikiPageWikiLinkText "Dependent ML".
- Dependent_ML hasPhotoCollection Dependent_ML.
- Dependent_ML wikiPageUsesTemplate Template:Cite_journal.
- Dependent_ML wikiPageUsesTemplate Template:Compu-lang-stub.
- Dependent_ML wikiPageUsesTemplate Template:Reflist.
- Dependent_ML subject Category:Declarative_programming_languages.
- Dependent_ML subject Category:Dependently_typed_languages.
- Dependent_ML subject Category:Discontinued_programming_languages.
- Dependent_ML subject Category:Functional_languages.
- Dependent_ML subject Category:ML_programming_language_family.
- Dependent_ML subject Category:Programming_languages_created_in_the_1990s.
- Dependent_ML hypernym Language.
- Dependent_ML type Language.
- Dependent_ML type ProgrammingLanguage.
- Dependent_ML type Software.
- Dependent_ML type Work.
- Dependent_ML type Language.
- Dependent_ML type CreativeWork.
- Dependent_ML type Thing.
- Dependent_ML type Q386724.
- Dependent_ML type Q7397.
- Dependent_ML type Q9143.
- Dependent_ML comment "Dependent ML is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions.By restricting the generality of full dependent types type checking remains decidable. Type inference remains undecidable.".
- Dependent_ML label "Dependent ML".
- Dependent_ML sameAs m.068fcp.
- Dependent_ML sameAs Dependent_ML.
- Dependent_ML sameAs Q4037222.
- Dependent_ML sameAs Q4037222.
- Dependent_ML wasDerivedFrom Dependent_ML?oldid=636825826.
- Dependent_ML isPrimaryTopicOf Dependent_ML.