Guillaume Munch-Maccagnoni (Inria, Gallinette) : « Curry-Howard et méthode en recherche en langages de programmation : l'exemple de l'objet comme valeur linéaire » (13/06/2019)
Fiche du document
5 mai 2019
- doi: 10.58079/mzs3
info:eu-repo/semantics/openAccess
Sujets proches
Computer languages Computer programming languages Computer program languages Machine language Langages-machine Langages informatiques Langage-machine Autocodes ProgrammatiqueCiter ce document
Baptiste Mélès, « Guillaume Munch-Maccagnoni (Inria, Gallinette) : « Curry-Howard et méthode en recherche en langages de programmation : l'exemple de l'objet comme valeur linéaire » (13/06/2019) », Séminaire Codes sources, ID : 10.58079/mzs3
Métriques
Partage / Export
Résumé
Guillaume Munch-Maccagnoni (Inria, Gallinette) « Curry-Howard et méthode en recherche en langages de programmation : l'exemple de l'objet comme valeur linéaire » Résumé La logique linéaire est depuis longtemps annoncée comme porteuse d'une révolution pour le développement des langages de programmation. Où en est-on ? Le langage de programmation Rust est un récent langage industriel qui contient « de vrais morceaux » de logique linéaire assurant sa sûreté. Il est perçu comme une avancée...