Kera en het werk van lowering

Een compilerverhaal over het werk tussen een schone graph en een echte machine: deterministische lowering, targeteigenaarschap en bewijs dat één berekening...