Article Dans Une Revue
Proceedings of the ACM on Programming Languages
Année : 2017
Thomas Ehrhard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02346093
Soumis le : lundi 4 novembre 2019-17:52:07
Dernière modification le : lundi 29 juillet 2024-09:56:41
Dates et versions
Identifiants
- HAL Id : hal-02346093 , version 1
- ARXIV : 1711.09640
- DOI : 10.1145/3158147
Citer
Thomas Ehrhard, Michele Pagani, Christine Tasson. Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. Proceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158147⟩. ⟨hal-02346093⟩
Collections
14
Consultations
0
Téléchargements