1 - 2 / 2 1 |
1. Eksplicitna izpeljava učinkov Filip Koprivec, 2019, magistrsko delo Ključne besede: algebrajski učinki in njihovi prestrezniki, izpeljava tipov, eksplicitni tipi |
2. Prevajanje prestreznikov algebrajskih učinkov v jezik brez učinkov Žiga Zupančič, 2020, magistrsko delo Ključne besede: računski učinki, prestrezniki algebrajskih učinkov, eksplicitni tipi, jezik brez eksplicitnih učinkov |