1 thèse en cours de préparation dans l'établissement de cotutelle University of Colorado at Boulder


Parametric Heap Abstraction for Dynamic Language Libraries

par Arlen Cox sous la direction de Xavier Rival et de Bor-Yuh Evan Chang. - Paris, École normale supérieure

Informatique
Soutenue le 13-04-2015
thèse


1 thèse soutenue dans l'établissement de cotutelle University of Colorado at Boulder