swMATH41403MaRDI QIDQ5974577FDOQ5974577
Author name not available (Why is that?)
Official website: https://caml.inria.fr/about/index.en.html
Cited In (10)
- Title not available (Why is that?)
- Quotients of the magmatic operad: lattice structures and convergent rewrite systems
- An analysis of Böhm's theorem
- Voting fairly: Transitive maximal intersecting families of sets
- Certifying properties of an efficient functional program for computing Gröbner bases
- Panoptes
- A Sound Semantics for OCaml light
- The Functional Approach to Programming
- Panoptes: an exploration tool for formal proofs
- Principles of programming languages
This page was built for software: Caml
