Refactorisation de programmes fonctionnels typés.

par Thomas Williams

Projet de thèse en Informatique

Sous la direction de Didier Remy.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec RECHERCHES EN INFORMATIQUE ET AUTOMATIQUE (equipe de recherche) depuis le 04-12-2015 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.