Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q860654> ?p ?o }
- Q860654 subject Q13281282.
- Q860654 subject Q6270842.
- Q860654 subject Q7134862.
- Q860654 subject Q7142681.
- Q860654 subject Q7467458.
- Q860654 subject Q8590743.
- Q860654 subject Q8795351.
- Q860654 subject Q8795409.
- Q860654 abstract "ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply-typed polymorphic lambda calculus, had ML as its metalanguage). It is known for its use of the Hindley–Milner type system, whose type inference algorithm can automatically assign the types of most expressions without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal proof that a well-typed ML program does not cause runtime type errors.".
- Q860654 designer Q92643.
- Q860654 influenced Q1131652.
- Q860654 influenced Q15408477.
- Q860654 influenced Q2407.
- Q860654 influenced Q2626413.
- Q860654 influenced Q334879.
- Q860654 influenced Q3353033.
- Q860654 influenced Q34010.
- Q860654 influenced Q460584.
- Q860654 influenced Q51798.
- Q860654 influenced Q5366250.
- Q860654 influenced Q575650.
- Q860654 influenced Q648619.
- Q860654 influenced Q780803.
- Q860654 influenced Q79598.
- Q860654 influencedBy Q1533797.
- Q860654 wikiPageExternalLink book.pdf.
- Q860654 wikiPageExternalLink mlton.org.
- Q860654 wikiPageExternalLink default.aspx.
- Q860654 wikiPageExternalLink mythryl.org.
- Q860654 wikiPageExternalLink smlnj.org.
- Q860654 wikiPageExternalLink successor-ml.org.
- Q860654 wikiPageExternalLink cakeml.org.
- Q860654 wikiPageWikiLink Q10310588.
- Q860654 wikiPageWikiLink Q1034415.
- Q860654 wikiPageWikiLink Q1063566.
- Q860654 wikiPageWikiLink Q1118153.
- Q860654 wikiPageWikiLink Q1131652.
- Q860654 wikiPageWikiLink Q1136926.
- Q860654 wikiPageWikiLink Q1144241.
- Q860654 wikiPageWikiLink Q120976.
- Q860654 wikiPageWikiLink Q1322511.
- Q860654 wikiPageWikiLink Q13281282.
- Q860654 wikiPageWikiLink Q1340959.
- Q860654 wikiPageWikiLink Q1344046.
- Q860654 wikiPageWikiLink Q1426138.
- Q860654 wikiPageWikiLink Q1503724.
- Q860654 wikiPageWikiLink Q1533797.
- Q860654 wikiPageWikiLink Q15408477.
- Q860654 wikiPageWikiLink Q160302.
- Q860654 wikiPageWikiLink Q17125754.
- Q860654 wikiPageWikiLink Q179976.
- Q860654 wikiPageWikiLink Q188267.
- Q860654 wikiPageWikiLink Q190087.
- Q860654 wikiPageWikiLink Q193076.
- Q860654 wikiPageWikiLink Q193983.
- Q860654 wikiPageWikiLink Q200996.
- Q860654 wikiPageWikiLink Q212587.
- Q860654 wikiPageWikiLink Q21578.
- Q860654 wikiPageWikiLink Q217365.
- Q860654 wikiPageWikiLink Q2393193.
- Q860654 wikiPageWikiLink Q239406.
- Q860654 wikiPageWikiLink Q2407.
- Q860654 wikiPageWikiLink Q242028.
- Q860654 wikiPageWikiLink Q2626413.
- Q860654 wikiPageWikiLink Q275596.
- Q860654 wikiPageWikiLink Q2881121.
- Q860654 wikiPageWikiLink Q2992227.
- Q860654 wikiPageWikiLink Q322202.
- Q860654 wikiPageWikiLink Q3240252.
- Q860654 wikiPageWikiLink Q334879.
- Q860654 wikiPageWikiLink Q3353033.
- Q860654 wikiPageWikiLink Q34010.
- Q860654 wikiPageWikiLink Q3410945.
- Q860654 wikiPageWikiLink Q377986.
- Q860654 wikiPageWikiLink Q4037222.
- Q860654 wikiPageWikiLink Q4055684.
- Q860654 wikiPageWikiLink Q4288856.
- Q860654 wikiPageWikiLink Q460584.
- Q860654 wikiPageWikiLink Q471748.
- Q860654 wikiPageWikiLink Q51798.
- Q860654 wikiPageWikiLink Q535335.
- Q860654 wikiPageWikiLink Q5366250.
- Q860654 wikiPageWikiLink Q573952.
- Q860654 wikiPageWikiLink Q575650.
- Q860654 wikiPageWikiLink Q586459.
- Q860654 wikiPageWikiLink Q597330.
- Q860654 wikiPageWikiLink Q615541.
- Q860654 wikiPageWikiLink Q621618.
- Q860654 wikiPageWikiLink Q6270842.
- Q860654 wikiPageWikiLink Q648619.
- Q860654 wikiPageWikiLink Q6504468.
- Q860654 wikiPageWikiLink Q6506135.
- Q860654 wikiPageWikiLink Q6667462.
- Q860654 wikiPageWikiLink Q6728718.
- Q860654 wikiPageWikiLink Q6915499.
- Q860654 wikiPageWikiLink Q7134862.
- Q860654 wikiPageWikiLink Q7135231.
- Q860654 wikiPageWikiLink Q7142681.
- Q860654 wikiPageWikiLink Q7345273.
- Q860654 wikiPageWikiLink Q736866.