Dependent ML: DML
Edit Page
Report
Scan day: 16 February 2014 UTC
27
Virus safety - good
Description: Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads.
Please note that Dependent ML (DML) is no longer under active development. As a language, it has already been fully incorporated into (DML) is a conservative extension of the functional programming language ML. The type system of DML enriches that of ML with a
Size: 260 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Home Page for DML |
| Keywords: | |
| Description: | |
| IP-address: | 128.197.10.3 |