Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dependent_ML> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items 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 wikiPageRevisionID "553063152".
- Dependent_ML hasPhotoCollection Dependent_ML.
- 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 type Abstraction100002137.
- Dependent_ML type ArtificialLanguage106894544.
- Dependent_ML type Communication100033020.
- Dependent_ML type DependentlyTypedLanguages.
- Dependent_ML type FunctionalLanguages.
- Dependent_ML type Language106282651.
- Dependent_ML type ProgrammingLanguage106898352.
- Dependent_ML type ProgrammingLanguagesCreatedInThe1990s.
- Dependent_ML type ProgrammingLanguage.
- Dependent_ML type Software.
- Dependent_ML type Work.
- Dependent_ML type CreativeWork.
- Dependent_ML type InformationEntity.
- 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 label "Dependent ML".
- Dependent_ML sameAs m.068fcp.
- Dependent_ML sameAs Q4037222.
- Dependent_ML sameAs Q4037222.
- Dependent_ML sameAs Dependent_ML.
- Dependent_ML wasDerivedFrom Dependent_ML?oldid=553063152.
- Dependent_ML isPrimaryTopicOf Dependent_ML.