| Résume | Des techniques quantitatives émergent aujourd'hui dans différents domaines de l'informatique pour faire face aux défis posés par le calcul sensible à la consommation des ressources.
Dans cet exposé on discutera de la pertinence de la théorie des types quantitatifs associés aux langages de programmation d'ordre supérieur (avec filtrage, opérateurs de contrôle, réductions infinis).
En commençant par l'exemple phare du lambda-calcul, on présentera ses fondements, des extensions puissantes et plusieurs applications intéressantes. |
