30 Jun 2023 - OCamlPro
OCaml Blog
The OCaml Planet
2022 at OCamlPro
For 12 years now, OCamlPro has been empowering a large range of customers, allowing them to harness state-of-the-art technologies and languages like OCaml and Rust. Our not-so-small-anymore company steadily grew into a team of highly-skilled and passionate engineers, experts in Computer Science, fro...
Autofonce, GNU Autotests Revisited
Since 2022, OCamlPro has been contributing to GnuCOBOL, the only fully open-source compiler for the COBOL language. To speed-up our contributions to the compiler, we developed a new tool, autofonce, to be able to easily run and modify the testsuite of the compiler, originally written as a GNU Autoco...
27 Jun 2023 - OCamlPro
Oxidizing OCaml: Rust-Style Ownership
In part one, we discussed how OCaml’slocality mode enables safe stack allocation. In this post, we willexplore additional modes for representing ownership.
21 Jun 2023 - Jane Street Tech Blog
OCaml Receives the ACM SIGPLAN Programming Languages Software Award
OCaml has received one of the most prestigious
awards in the field of programming languages, and we are very
thrilled that four of the award…
20 Jun 2023 - Tarides
Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
14 Jun 2023 - Andrej Bauer
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.