Sites Inria

Il y a 1 Résultats avec le mot clé : "Management"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

25/06/2018

A new understanding of Stroustrup's destructors in the context of the linear call-by-push-value models gives rise to a proposal for a resource management model for ML-style programming languages.

Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Guillaume Munch-Maccagnoni

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria