Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4037222> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Q4037222 subject Q7134862.
- Q4037222 subject Q7447093.
- Q4037222 subject Q8374212.
- Q4037222 subject Q8380070.
- Q4037222 subject Q8590743.
- Q4037222 subject Q8795411.
- Q4037222 abstract "Dependent ML is an experimental functional programming language proposed by Hongwei Xi (Xi 2007) 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.".
- Q4037222 wikiPageExternalLink DML.html.
- Q4037222 wikiPageWikiLink Q15487688.
- Q4037222 wikiPageWikiLink Q193076.
- Q4037222 wikiPageWikiLink Q3186917.
- Q4037222 wikiPageWikiLink Q430001.
- Q4037222 wikiPageWikiLink Q4888368.
- Q4037222 wikiPageWikiLink Q586459.
- Q4037222 wikiPageWikiLink Q621618.
- Q4037222 wikiPageWikiLink Q7134862.
- Q4037222 wikiPageWikiLink Q7180947.
- Q4037222 wikiPageWikiLink Q7447093.
- Q4037222 wikiPageWikiLink Q8374212.
- Q4037222 wikiPageWikiLink Q8380070.
- Q4037222 wikiPageWikiLink Q8590743.
- Q4037222 wikiPageWikiLink Q860654.
- Q4037222 wikiPageWikiLink Q865760.
- Q4037222 wikiPageWikiLink Q8795411.
- Q4037222 wikiPageWikiLink Q997433.
- Q4037222 type Language.
- Q4037222 type Language.
- Q4037222 type ProgrammingLanguage.
- Q4037222 type Thing.
- Q4037222 type Q315.
- Q4037222 type Q34770.
- Q4037222 type Q9143.
- Q4037222 comment "Dependent ML is an experimental functional programming language proposed by Hongwei Xi (Xi 2007) 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.".
- Q4037222 label "Dependent ML".