| HAL-Inria | Publications, software ... of Inria's scientists |
CamlDim
Bruno Blanchet 1
Mail :
Author IdHAL : bruno-blanchet
Xavier Leroy 2
Mail :
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : xavier-leroy
Damien Doligez 3
Mail :
Author IdHAL : damien-doligez
François Rouaix 2
Author
Jérôme Vouillon 2
Author
Pierre Weis 2
Mail :
Author
1
LIENS - Laboratoire d'informatique de l'école normale supérieure (45 Rue d'Ulm 75230 PARIS CEDEX 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
2
CRISTAL - Typed programming, modularity and compilation (France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
3
MOSCOVA - Mobililty, security, concurrence, verification and analysis (France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
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 : Tuesday, August 4, 2020 - 3:45:48 AM
Contributor : Bruno Blanchet <>
Submitted on : Tuesday, August 28, 2018 - 3:01:47 PM
Last modification on : Tuesday, August 4, 2020 - 3:45:48 AM
Metadata
Keywords :
Dimensions
Functional programming
Software License
GNU Library General Public License v2 or later
Programming Language
Caml Light, C
Citation
Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon, et al.. CamlDim. 1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0⟩. ⟨hal-01863457⟩
Metrics
Record views
231
Files downloads