Danny Willems

Results 2 repositories owned by Danny Willems

ocaml-for-web-programming

52
Stars
1
Forks
Watchers

OCaml for web programming

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.