The topic of existential types came up on this mailing list recently. I would like to learn more about these: can anyone give URLs/journal articles/books etc?
- existential types Tony Davie
- Re: Existential types Lennart Augustsson
- Re: Existential types Martin Odersky
- Re: Existential types N . Perry
- existential types Martin Odersky
- Jason Stokes
