Vincent Balat

 DemoLinux : Linux installed on CD, to use it anywhere!

Center of handing-over of Windows of tax: To make you of Windows of refunding, cliquez here.

 Studies:

Hello,

I am pupil in the fourth year at the school of higher training of professor de Cachan , in the thesis of data processing with the ENS of Paris .

Servers of the pupils:

 Seek:

I work current with Olivier Danvy (Aarhus, Denmark) on the partial evaluation directed by the types in objective Caml, and with Didier Galmiche (Loria, Nancy, France) and Roberto Di Cosmo on the linear intuitionalist of logic.

 Publications:
Vincent Balat and Olivier Danvy. Strong standardization by evaluation of Partial Type-Directed and generation of codes of turn-around time. Tic ' 98 Démarches, Lncs 1473, 1998.

To have the recreation:

 Flight-with-veil:

I make the sailplane, in Cholet Flight-with-Veil.

 Data processing:
 Music:
 Friends:
 Useful:
 Images:


Pour m'envoyer un mél : Vincent.Balat@ens.fr