Caml
From MaRDI portal
Software:5974577
swMATH41403MaRDI QIDQ5974577FDOQ5974577
Author name not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- 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
- Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems
- Principles of programming languages
This page was built for software: Caml
