Programming Languages and Systems

Descubre cómo las teorías de tipos, semánticas y optimizaciones se combinan para diseñar lenguajes seguros y eficientes, con casos prácticos que ilustran la evolución de sistemas concurrentes y distribuidos.

Compartir: