Subject: Annonce des exposés du groupe de travail Théorie des Types et son Implémentation (IRIF)

Description: Annonce des exposés du groupe de travail Théorie des Types et son Implémentation (IRIF)