Comment by mycall

3 years ago

If there is actually equivalence between different type systems and algorithms, that opens the door for simplification through unification.

0 comments