Taller de Inferencia de Tipos de PLP