A computationally adequate model for overloading via domain-valued functors
págs. 321-349
A categorical model for higher order imperative programming
págs. 351-399
A theory of mixin modules: basic and derived operators This work has been partially supported by Murst 40% (Modelli della computazione e dei linguaggi di programmazione) and CNR (Formalismi per la specifica e la descrizione di sistemi ad oggetti)
DAVIDE ANCONA, Elena Zocca
págs. 401-446
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: