Matija Pretnar: Izpeljava tipov, 2. del
Date of publication: 11. 3. 2013
Mathematics and theoretical computing seminar
Torek, 12. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Povzetek. Podrobneje si bomo ogledali Hindley-Milnerjev algoritem za izpeljavo tipov. Ta deluje v dveh korakih: najprej izrazu priredimo parametrični tip ter množico enačb med parametri, nato pa z Robinsonovim algoritmom izračunamo najbolj splošno substitucijo, ki zadosti enačbam, ali pa pokažemo, da take substitucije ni.
