New posts in impredicativetypes

Impredicative types vs. plain old subtyping

scala haskell functional-programming subtype impredicativetypes