Christophe Raffalli, LAMA.
10 novembre 2016 10:00limd2:00:00
Abstract:
On va montrer comment programmer sur des streams avec l'axiome de l'ultrafiltre, qui en quelque sorte correspond à une forme limitée de programmation concurrente pour calculer un stream infini.