numéro 16 - Société Informatique de France

I studied partial evaluation algorithms, termination tests and conditions of correction of program transformations, with applications to logic ...

Renaud MARLET [born January 2nd, 1966] - imagine - ENPC