3 ms·
As far as I know, subtyping with polymorphism looks much better since Stephen Dolan's thesis on Algebraic Subtyping http://lambda-the-ultimate.org/node/5393 ht
by chombier 8y ago
As far as I know, subtyping with polymorphism looks much better since Stephen Dolan's thesis on Algebraic Subtyping
http://lambda-the-ultimate.org/node/5393 http://lambda-the-ultimate.org/node/5393