Vincent Balat

DemoLinux : Linux installé sur un CD, pour l'utiliser n'importe où !

Centre de détaxe Windows : Pour vous faire rembourser Windows, cliquez ici.

Études :

Bonjour,

Je suis élève en quatrième année à l'École normale supérieure de Cachan , en thèse d'informatique à l' ENS de Paris .

Les serveurs des élèves :

Recherche :

Je travaille actuellement avec Olivier Danvy (Aarhus, Danemark) sur l'évaluation partielle dirigée par les types en Objective Caml, et avec Didier Galmiche (Loria, Nancy, France) et Roberto Di Cosmo sur la logique linéaire intuitionniste.

FermiVista, pour rechercher des articles en math. physique et informatique sur internet (.ps, .dvi...).
Hypatia.

Publications :

Vincent Balat and Olivier Danvy. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. TIC '98 Proceedings, LNCS 1473, 1998.

Pour s'amuser :

Vol-à-Voile :

Je fais du planeur, à Cholet Vol-à-Voile.

La Fédération Française de Vol-à-Voile
Dédale, planeurs anciens.
Décollage.
Une page sur le Vol à Voile.

Informatique :

Mes fichiers de configuration pour Emacs, tcsh, etc.
Piège dans le cyberespace, par Roberto Di Cosmo. Un article sur Linux et Windows, à lire absolument !
Da Linux French Page, toute l'actualité Linux en français.
Le site de l'AFUL (Association Francophone des Utilisateurs de Linux et des Logiciels Libres).
Linux-center, et les "Nouvelles Neuves" de Linux.
La distribution Linux Mandrake, KDE, GNOME.

Musique :

L'Académie de musique.
L'orchestreUt 5e.
Un site int ressant sur la musique classique (en anglais...), avec des informations sur les compositeurs, et plein d'images.
Jean Sébastien Bach.
Un petit peu de Musique.

Amis :

Utile :

AltaVista (en français), outil de recherche sur internet.
Les Pages Zoom de France Télécom (annuaire téléphonique).
Horaires de cinéma partout en France, en Belgique et en Suisse.
Dictionnaire français.
Manuel de Grammaire française.
Un dictionnaire Anglais/Français.

Images :

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