Ponente: Francis Sergeraert (Université Joseph Fourier – Grenoble 1)
Lugar: Seminario Mirian Andrés (Edificio CCT)
Hora: jueves 1 de junio, 12:00
Resumen: The Kenzo program, devoted to Algebraic Topology, uses intensively «Functional Programming». The complexity problem in such a situation must consider the *cost* of the numerous functional objects dynamically generated at runtime, with a structure rather complex. The underlying tool, the notion of «closure» is essential in the process. Good news: we will explain why, in our context, the cost of these functional objects is essentially null. Needs a lucid understanding of the real structure of these magic objects called «closures», the main subject of the talk. No knowledge in Algebraic Topology is required to attend this talk.