Relativos a linguagens de programação que podem trocar informações através de comummente acordadas as definições e padrões de uso para tipos.