bn:01271327n
Noun Concept
Categories: Teoria dei tipi
IT
sistema dei tipi  Sistema di tipi  Type system  correttore tipo  dinamicamente tipizzati
IT
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano. Wikipedia
Definitions
Relations
Sources