Invited talk “Productive Coprogramming with Guarded Recursion”

Atkey, B. (Speaker)

Activity: Talk or presentation typesInvited talk

Period5 Nov 2015
Held atEcole Normale Superieure de Lyon ENS de Lyon, France
Degree of RecognitionInternational