CamlDim

Bruno Blanchet 1 Xavier Leroy 2 Damien Doligez 3 François Rouaix 2 Jérôme Vouillon 2 Pierre Weis 2
1 LIENS - Laboratoire d'informatique de l'école normale supérieure
2 CRISTAL - Typed programming, modularity and compilation
Inria Paris-Rocquencourt
3 MOSCOVA - Mobililty, security, concurrence, verification and analysis
Inria Paris-Rocquencourt
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 : Monday, November 18, 2019 - 2:17:16 PM

Metadata

Keywords : Dimensions Functional programming

softwareLicence
GNU Library General Public License v2 or later

programmingLanguage
Caml Light, C

Collections

CNRS | PSL | INRIA | ENS-PARIS

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

206

Files downloads

9

Contact

CCSD