Tipo di dati è rappresentato dal valore effettivo del tipo. Se un tipo di valore viene assegnato a una variabile, tale variabile è data una copia del valore. (Questo è in contrasto con un tipo di riferimento, dove assegnazione non crea una copia). Tipi di valore sono solitamente creati frame dello stack di un metodo, piuttosto che nell'heap di garbage collection. Un tipo di valore può essere inscatolato, che è un processo che crea un tipo di riferimento corrispondente.