CamlDim

Bruno Blanchet; Xavier Leroy; Damien Doligez; François Rouaix; Jérôme Vouillon; Pierre Weis

Logiciel Année : 1998

CamlDim

(1) , (2) , (3) , (2) , (2) , (2)

1
2
3

Bruno Blanchet

Fonction : Auteur
PersonId : 16135
IdHAL : bruno-blanchet
ORCID : 0009-0005-1072-0786
IdRef : 178034738

Laboratoire d'informatique de l'école normale supérieure

Xavier Leroy

Fonction : Auteur
PersonId : 592
IdHAL : xavier-leroy
ORCID : 0000-0002-8971-9171
IdRef : 026985691

Typed programming, modularity and compilation

Damien Doligez

Fonction : Auteur
PersonId : 774
IdHAL : damien-doligez
IdRef : 057358370

Mobililty, security, concurrence, verification and analysis

François Rouaix

Fonction : Auteur

Typed programming, modularity and compilation

Jérôme Vouillon

Fonction : Auteur

Typed programming, modularity and compilation

Pierre Weis

Fonction : Auteur
PersonId : 833428

Typed programming, modularity and compilation

Résumé

CamlDim is an extension of Caml Light with physical dimensions.

Mots clés

Functional programming Dimensions

Domaines

Langage de programmation [cs.PL]

Bruno Blanchet : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01863457

Soumis le : mardi 28 août 2018-15:01:47

Dernière modification le : vendredi 19 avril 2024-16:18:55

Dates et versions

hal-01863457 , version 1 (28-08-2018)

Identifiants

HAL Id : hal-01863457 , version 1
SWHID : swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/

version :
Licences : GNU Library General Public License v2 or later
Langage de programmation : Caml Light, C
Code Repository :

Citer

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⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS UNIV-RENNES1 CNRS INRIA IRISA INRIA2 PSL UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

233 Consultations

47 Téléchargements

CamlDim

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Métadonnées

Citer

Exporter

Collections

Partager