Skip to Main content Skip to Navigation

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
Abstract : CamlDim is an extension of Caml Light with physical dimensions.
Document type :
Software
Complete list of metadatas

Browse

Present sur SoftwareHeritage
swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/
 Browse
https://hal.inria.fr/hal-01863457
Contributor : Bruno Blanchet <>
Submitted on : Tuesday, August 28, 2018 - 3:01:47 PM
Last modification on : Saturday, November 21, 2020 - 7:58:03 PM

Metadata

Keywords : Dimensions Functional programming

softwareLicence
GNU Library General Public License v2 or later

programmingLanguage
Caml Light, C

Collections

CNRS | INRIA | ENS-PARIS | PSL

Citation

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⟩

Share

Metrics

Record views

235

Files downloads

59