Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming

Thomas Ehrhard; Michele Pagani; Christine Tasson

doi:10.1145/3158147

Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2017

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming

(1) , (1) , (2)

1
2

Thomas Ehrhard

Fonction : Auteur
PersonId : 742157
IdHAL : thomas-ehrhard
ORCID : 0000-0001-5231-5504
IdRef : 132983664

Institut de Recherche en Informatique Fondamentale

Michele Pagani

Fonction : Auteur

Institut de Recherche en Informatique Fondamentale

Christine Tasson

Fonction : Auteur
PersonId : 865456

Preuves, Programmes et Systèmes

Domaines

Logique en informatique [cs.LO]

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 : vendredi 22 décembre 2023-03:37:43

Dates et versions

hal-02346093 , version 1 (04-11-2019)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS USPC UP-SCIENCES ANR IRIF

7 Consultations

0 Téléchargements

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager