Telecharger Cours

Type systems for programming languages - Gallium

Polymorphism is the ability for a term to simultaneously admit several distinct types. Poly- morphism is indispensable (Reynolds, 1974): if a list-sorting ...



Download