Typage Fort

concept

Principe pour la typification des langages de programmation

Propriétés