Home >
domains >
www.cs.bu.edu
Dependent ML: DML
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.
|
Keyword |
Results for this URL |
Total searches |