Caml
From MaRDI portal
Cited in
(11)- scientific article; zbMATH DE number 1090656 (Why is no real title available?)
- 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
- VoDKA
- Panoptes
- 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
