Formally deriving an STG machine.

Alberto de la Encina, Ricardo Pena

Browse the full PPDP paper archive.