https://ocamlpro.com/blog/2020_09_24_rehabilitating_packs_using_functors_and_recursivity_part_1/
Rehabilitating Packs using Functors and Recursivity, part 1. | OCamlPro
OCamlPro has a long history of dedicated efforts to support the development of the OCaml compiler, through sponsorship or direct contributions from Flambda...
packsusingfunctorspartocamlpro
https://ocamlpro.com/
Expert Solutions for Complex Challenges | OCamlPro
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For...
expert solutionscomplexchallengesocamlpro