Jonathan Sterling

Una exploración del papel de la teoría de tipos en la estructuración de relaciones matemáticas y computacionales.

Descubre la importancia de la programación sensible a costos para optimizar la gestión de recursos.

Una mirada a los gráficos reflexivos y sus aplicaciones a través de lentes.