Template:ML_programming

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbp:wikiPageUsesTemplate	dbt:Icon dbt:Navbox dbt:Navbox_documentation
prov:wasDerivedFrom	wikipedia-en:Template:ML_programming?oldid=1282973941&ns=10
owl:sameAs	dbt:ML_programming
is dbp:wikiPageUsesTemplate of	dbr:Standard_ML_of_New_Jersey dbr:Isabelle_(proof_assistant) dbr:Caml dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:Marionnet dbr:Don_Sannella dbr:Matita dbr:OCaml dbr:Dependent_ML dbr:JoCaml dbr:MTASC dbr:ATS_(programming_language) dbr:Gérard_Huet dbr:HOL_Light dbr:MacroML dbr:Robin_Milner dbr:Thierry_Coquand dbr:Don_Syme dbr:Damien_Doligez dbr:Poplog dbr:FFTW dbr:Frama-C dbr:Logic_for_Computable_Functions dbr:Twelf dbr:Alice_(programming_language) dbr:Coq_(software) dbr:SLAM_project dbr:ML_(programming_language) dbr:Semgrep dbr:Haxe dbr:Xavier_Leroy dbr:Concurrent_ML dbr:Extended_ML dbr:Camlp4 dbr:Lennart_Augustsson dbr:GeneWeb dbr:LEGO_(proof_assistant) dbr:Astrée_(static_analysis) dbr:Alt-Ergo dbr:Steven_G._Johnson dbr:Frank_Pfenning dbr:Christine_Paulin-Mohring dbr:Reason_(programming_language) dbr:Ur_(programming_language) dbr:HOL_(proof_assistant) dbr:MLton dbr:Eff_(programming_language) dbr:Futhark_(programming_language) dbr:Simon_Thompson_(professor)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International