Objet : Coprogrammation

Description : Le groupe de travail Coprogrammation s'intéresse à la programmation, au calcul et au raisonnement dans les contextes mettant en jeu des objets infinis. L'exemple canonique est celui des suites infinies de données.

Le sujet est abordé sous plusieurs angles : programmation réactive et synchrone, théorie des types gardés, raisonnement coinductif, sémantiques coalgébriques, preuves circulaires.

Les détails de la liste peut être trouvée à l'adresse https://gitlab.com/aguatto/coprogramming de son dépôt git.