New posts in existential-type

Existential vs. Universally quantified types in Haskell

haskell polymorphism existential-type

What's the theoretical basis for existential types?

haskell types type-systems existential-type quantifiers

scala - Any vs underscore in generics

scala generics covariance any existential-type

What is an existential type?

language-agnostic types type-systems existential-type