Matija Pretnar: Induktivni tipi, jezik aritmetičnih izrazov

Povzetek. Najprej si bomo v OCamlu ogledali še induktivne tipe, ki so nam ostali od zadnjič, nato pa bomo definirali jezik aritmetičnih izrazov. To je čisto majhen jezik, na katerem si bomo ogledali vse sestavne dele večine programskih jezikov: sintakso, operacijsko semantiko, tipe in denotacijsko semantiko.