LaVOZs

The World’s Largest Online Community for Developers

'; Newest 'existential-type' Questions - LavOzs.Com

Questions tagged [existential-type]

Existential types are types that provide a collection of operations that act on an unspecified, or abstract, type. They thus capture notions of interface and abstraction in a type theoretic setting.