3 ms·
If there is actually equivalence between different type systems and algorithms, that opens the door for simplification through unification.
by mycall 3y ago
If there is actually equivalence between different type systems and algorithms, that opens the door for simplification through unification.