Enciclopedia universală

Sistem de tipuri - articole și definiții

Sistem de tipuri - O multime de reguli ce permite atasarea unor expresii de tip diferitelor constructii dintr-un program.