CamlDim

CamlDim is an extension of Caml Light with physical dimensions.
Document type :
Software
Complete list of metadatas

Browse

- Identifier : swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0  Browse

https://hal.inria.fr/hal-01863457
Contributor : Bruno Blanchet <>
Submitted on : Tuesday, August 28, 2018 - 3:01:47 PM
Last modification on : Wednesday, June 26, 2019 - 4:29:44 PM

Collections

Citation

Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon, et al.. CamlDim. 1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0⟩. ⟨hal-01863457⟩

Share

Metrics

Record views

179

Files downloads

8