Ključne besede: algebrajski učinki in njihovi prestrezniki, izpeljava tipov, eksplicitni tipiCelotno besedilo (datoteka, 883,84 KB)