Danny Willems
Results
2
repositories owned by
Danny Willems
RML
37
Stars
3
Forks
Watchers
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.