Conférence Focusing on Data Structures

C'est le moment de se triturer un peu la tête ! À travers l'étude d'un papier de Connor McBride, nous verrons ces étranges structures de données que sont les Zippers, leur utilité, et comment l'algèbre des types peut nous aider à les appréhender.