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
3 MOSCOVA - Mobililty, security, concurrence, verification and analysis

CamlDim is an extension of Caml Light with physical dimensions.

Mots clés: Functional programming; Dimensions

Domaines: Langage de programmation [cs.PL]

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⟩