CamlDim

Bruno Blanchet 1 Xavier Leroy 2 Damien Doligez 3 François Rouaix 2 Jérôme Vouillon 2 Pierre Weiss 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 : Wednesday, June 26, 2019 - 4:29:44 PM

Metadata

Keywords : Functional programming Dimensions

Programming Language
Caml Light, C

Collections

INRIA-ROCQ | 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

185

Files downloads

8

Contact


archive-ouverte@inria.fr