Internet and smartphones accompany our daily life and make many tasks easier for us. While some of the successes of new technologies are undeniable, there is a counterpart: we have become data producers, coveted by many companies or government agencies.
Place : FUN
Guest(s) : Cédric Laradoux and Vincent Roca
Research team 's seminary
We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.
Place : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C
Guest(s) : Ulysse Gérard ( Inria Saclay)