Cómo funciona Larva por dentro
Un recorrido por el camino que sigue un programa dentro de Larva, desde el frontend de un paquete de lenguaje, pasando por HIR, la reducción, Larva IR y el verificador de préstamos, hasta los back ends, el runtime y sus recolectores de basura, con enlaces al libro de internos.