Dependent ML
0 sources
Dependent ML
Summary
Dependent ML is a programming language[1]. It draws 11 Wikipedia views per month (programming_language category, ranking #131 of 742).[2]
Key Facts
- Dependent ML's instance of is recorded as programming language[3].
- Dependent ML's Freebase ID is recorded as /m/068fcp[4].
- Dependent ML's Microsoft Academic ID is recorded as 2777441918[5].
- Dependent ML's dialect of computer language is recorded as Standard ML[6].
Body
Designation and Status
Dependent ML's instance of is recorded as programming language[3].
Why It Matters
Dependent ML draws 11 Wikipedia views per month (programming_language category, ranking #131 of 742).[2]
It has been cited as an influence by ATS[7], a declarative programming language[8], founded in 2006[9].
FAQs
Who did Dependent ML influence?
Dependent ML has been cited as an influence by ATS[7].