Telecharger Cours

HOOTS II Second Workshop on Higher-Order Operational ... - DTIC

there is a maximal type TOP containing all non-erroneous terms. If we had union types, TOP could be expressed as the union of all function and object types ...



Download