OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles based on ML.
The Mirage OS is a programming framework for building type-safe, modular systems.
OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles based on ML.
The Mirage OS is a programming framework for building type-safe, modular systems.
This work is licensed under a Creative Commons Attribution 4.0 International License