CamlDim
Abstract
CamlDim is an extension of Caml Light with physical dimensions.
Software
Year :
Bruno Blanchet : Connect in order to contact the contributor
https://hal.inria.fr/hal-01863457
Submitted on : Tuesday, August 28, 2018-3:01:47 PM
Last modification on : Thursday, March 17, 2022-10:08:27 AM
Dates and versions
Identifiers
Cite
Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon, et al.. CamlDim. 1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/⟩. ⟨hal-01863457⟩
161
View
44
Download