CamlDim
Résumé
CamlDim is an extension of Caml Light with physical dimensions.
Bruno Blanchet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01863457
Soumis le : mardi 28 août 2018-15:01:47
Dernière modification le : vendredi 19 avril 2024-16:18:55