Caml
From MaRDI portal
Software:5974577
swMATH41403MaRDI QIDQ5974577FDOQ5974577
Author name not available (Why is that?)
Cited In (9)
- 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
- 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
