Relative ai linguaggi di programmazione che possono scambiarsi informazioni attraverso comunemente concordato definizioni e schemi di utilizzo per i tipi.