About: http://dbpedia.org/resource/Template:ML

Property	Value
dbp:wikiPageUsesTemplate	dbt:Navbox_documentation dbt:Icon dbt:Navbox
prov:wasDerivedFrom	wikipedia-en:Template:ML_programming?oldid=1308239807&ns=10
is dbp:wikiPageUsesTemplate of	https://dbpedia.io/id/fDJ247CnxVj6g9KqPfGT5Dh#e https://dbpedia.io/id/PnWNs2Dc8Cgw2R6pjdwdHrc#e https://dbpedia.io/id/4C4HRkswJNkLcJVTdTcVChQb#e https://dbpedia.io/id/4gbc8G5mg8rvFKm2sp59VRB7#e dbr:Frama-C https://dbpedia.io/id/ZvrTr8zrkdRKHWMWSwsMrQj#e https://dbpedia.io/id/Pz9P6ndrrftJcHbNXrDCfr9#e https://dbpedia.io/id/4Hz2CftrjmSdqFW4hwQDkQPR#e https://dbpedia.io/id/4DcJRSWqTNXkmCvNp2XK5vBp#e dbr:Don_Sannella dbr:HOL_(proof_assistant) dbr:SLAM_project https://dbpedia.io/id/rR5wR9gPMtsftShMNwJ5RHz#e https://dbpedia.io/id/4c4GrHvtJnQFMCsz5Zgnm7wH#e https://dbpedia.io/id/4t6KmtTCWjncdM9QHtnGp6NS#e https://dbpedia.io/id/Bzp6Fgj5hLWM7FprvQQZhN8#e https://dbpedia.io/id/pTg7gnM7LmTMJNBJCzL5mkP#e https://dbpedia.io/id/4vfcWg2qpSDnp84jL7LRWgzF#e https://dbpedia.io/id/LQ8q4CFbk7q5GjDzHTXJ4gq#e https://dbpedia.io/id/Wmsc6PJ7JTDkSf8xScnGPTK#e dbr:Extended_ML dbr:Alt-Ergo https://dbpedia.io/id/THsFhJdxwQd84QvdqGGv8m7#e https://dbpedia.io/id/pqWXr26zDJqZvSgNsZf7BjK#e dbr:F_Sharp_(programming_language) dbr:Haxe dbr:ML_(programming_language) dbr:Don_Syme dbr:HOL_Light dbr:Ur_(programming_language) dbr:Coq_(software) dbr:Isabelle_(proof_assistant) dbr:Lennart_Augustsson dbr:Standard_ML dbr:Standard_ML_of_New_Jersey https://dbpedia.io/id/nG59Mg6D8RCxFPVB5d4r5C6#e dbr:Damien_Doligez dbr:Poplog dbr:Reason_(programming_language) dbr:JoCaml dbr:MTASC dbr:Semgrep dbr:Simon_Thompson_(professor) https://dbpedia.io/id/q9Nhs8TvRZwMGTWGtw7nTjW#e https://dbpedia.io/id/xqfn8vZz9FJjLFDggwT5dXh#e https://dbpedia.io/id/2Bzc8V24xrzgTV6xrtPRqBJ#e https://dbpedia.io/id/4rnNbv4zzLQCHKpkLq7ZkDq2#e https://dbpedia.io/id/D8PMfPwWgLsdTfFSqFr7v5G#e dbr:Frank_Pfenning dbr:Logic_for_Computable_Functions dbr:Robin_Milner dbr:Caml dbr:Alice_(programming_language) dbr:Concurrent_ML dbr:Matita dbr:Futhark_(programming_language) https://dbpedia.io/id/9xS98zQLpD8PdVnrsCBQSJf#e https://dbpedia.io/id/JgkTRFwHrM9t9JtKBNzZdcK#e https://dbpedia.io/id/4MRZmvzZv6Qp2M6WxfQsc9FX#e https://dbpedia.io/id/4rhThq2DjmGxVN2X5DnsLR2z#e dbr:Camlp4 dbr:Steven_G._Johnson https://dbpedia.io/id/b4FQ59WvSznw95nVgGFvWt#e https://dbpedia.io/id/7zR8N2gdPrk7FR5Xgb84CSc#e dbr:F*_(programming_language) dbr:OCaml dbr:MLton https://dbpedia.io/id/45fH4WpdnjS7Zk77ZhvgsTfV#e https://dbpedia.io/id/4VkFBkzHJMxPDQCqkZG8vHHG#e https://dbpedia.io/id/FVNnpnpfVSfw64b7K7GZPRz#e dbr:Astrée_(static_analysis) dbr:Marionnet https://dbpedia.io/id/4Lb2wtJfK8q9DHDfGnFtdhCC#e https://dbpedia.io/id/42jDkp5JR4xJCkG7jzxcmnS4#e https://dbpedia.io/id/KZzgtQMGnG9fFJcJcbLWT7q#e https://dbpedia.io/id/4rG9C82zqvWZvGPRLkc9XNSK#e dbr:ATS_(programming_language) dbr:Dependent_ML dbr:Christine_Paulin-Mohring dbr:Gérard_Huet dbr:Thierry_Coquand dbr:Xavier_Leroy dbr:Eff_(programming_language) https://dbpedia.io/id/4VZxPknxHrSDqzLPdr4T7QMG#e https://dbpedia.io/id/K4T264WnTFndMXMHwFLDcCJ#e https://dbpedia.io/id/4Vq6QBzhdLRgvX6rb68j5qtS#e https://dbpedia.io/id/8ZV2dVDmFjKxVswtNmHRXLP#e https://dbpedia.io/id/vVCDRpMcDtddPZznnrbSLqz#e dbr:GeneWeb https://dbpedia.io/id/9D6j2R9PXQpBkNm7ZL2TzbF#e https://dbpedia.io/id/8xwg9Jdx2DFtrcwgV4BptjD#e https://dbpedia.io/id/cKwRs2DPPFGCrQZD5XhTqnQ#e dbr:LEGO_(proof_assistant) https://dbpedia.io/id/p9zG5qhhTS45NwbpsDDKCZK#e https://dbpedia.io/id/4XStdkdsgkPxQHNwbVM2RG65#e https://dbpedia.io/id/4kgQRbQPG7NF5H6HcgR6ZxB9#e https://dbpedia.io/id/45hrDdqwMTmV5z2KMnKS4Mpz#e https://dbpedia.io/id/WzCz5BbX6n4kqMnFc6fWwfc#e https://dbpedia.io/id/QGQhtkSgnRmWT9DVRZrxNQ9#e dbr:MacroML dbr:Twelf

About: http://dbpedia.org/resource/Template:ML_programming