@phdthesis{lienhardt:tel-00749351, TITLE = {{Components and Types}}, AUTHOR = {Lienhardt, Michael}, URL = {https://tel.archives-ouvertes.fr/tel-00749351}, SCHOOL = {{Universit{\'e} Joseph-Fourier - Grenoble I}}, YEAR = {2010}, MONTH = Sep, KEYWORDS = {Components ; Types ; Inference ; Programming Language ; Composants ; Types ; Inf{\'e}rence ; Langage de Programmation ; Composants ; Types ; Inf{\'e}rence ; Langage de Programmation}, TYPE = {Theses}, HAL_ID = {tel-00749351}, HAL_VERSION = {v3}, }