When: Thursday, 20th June, 10h-11h30
Where: B31, Inria Building B
Who: Olivier Danvy
Les définitions inductives, les programmes récursifs, les continuations, et l’évaluation partielle
Résumé:
Les structures de données sont typiquement décrites de façon inductive.
Les programmes qui les traversent sont typiquement écrits de façon
récursive, en suivant leur structure. Les continuations permettent de
traverser les données sans suivre forcément leur structure.
L’évaluation partielle permet d’exploiter le fait que les données, en
tout ou en partie, ne sont pas disponibles au même moment.
Le but de cet exposé est d’illustrer ces concepts et leur utilité.
