Le 20 décembre 2010, à 15h30 en salle B311, le séminaire LCR accueille Ugo Dal Lago (Bologne).

We consider the problem of functional programming with data in external memory, in particular as it appears in sublinear space computation. Writing programs with sublinear space usage often requires one to use special implementation techniques for otherwise easy tasks, e.g. one cannot compose functions directly for lack of space for the intermediate result, but must instead compute and recompute small parts of the intermediate result on demand. We study how the implementation of such techniques can be supported by functional programming languages.