dannywillems / dsubml

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
13Updated 8 years ago

Alternatives and similar repositories for dsubml

Users that are interested in dsubml are comparing it to the libraries listed below

Sorting: