Add to ORKGPublished in November 1994. This research has been partially supported by the Italian MURST:"Calcolo Algebrico, Sistemi di Manipolazione Algebrica" and by the Italian CNR P.F. "Sistemi Informatici e Calcolo Parallelo" under contract n. 92.01604.69Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Subtyping appears in a variety of programming languages, in the form of the "automatic coercion...
Le reti neurali artificiali, grazie alle nuove tecniche di Deep Learning, hanno completamente rivolu...
The growing interest in integrating symbolic and subsymbolic computing techniques is manifested by t...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
Application of object-oriented programming techniques to design and implementation of symbolic compu...
AbstractApplication of object-oriented programming techniques to design and implementation of symbol...
AbstractApplication of object-oriented programming techniques to design and implementation of symbol...
Since Luca Cardelli wrote a seminal paper [3] on the semantics of inheritance in 1984, program-ming ...
A type may be a subtype of another type. The intuition about this should be clear: a type is a type ...
Giuseppe Longo, Kathleen Milsted, and Sergei Soloviev. A Logic of Subtyping. (Full paper; extended a...
We extend Hagino’s categorical datatypes with subtyping and a lim-ited form of inheritance. The view...
We extend Hagino's categorical datatypes with subtyping and a lim-ited form of inheritance. The...
OOPSLA, Article 113International audienceProgramming languages that support multiple dispatch rely o...
Partially supported by EEC, Science Project SC1-CT92-0789Consiglio Nazionale delle Ricerche (CNR). B...
Published Jan 1996. Supported by MURST Project: "Calcolo algebrico, Sistemi di Manipolazione Al...
Subtyping appears in a variety of programming languages, in the form of the "automatic coercion...
Le reti neurali artificiali, grazie alle nuove tecniche di Deep Learning, hanno completamente rivolu...
The growing interest in integrating symbolic and subsymbolic computing techniques is manifested by t...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
Application of object-oriented programming techniques to design and implementation of symbolic compu...
AbstractApplication of object-oriented programming techniques to design and implementation of symbol...
AbstractApplication of object-oriented programming techniques to design and implementation of symbol...
Since Luca Cardelli wrote a seminal paper [3] on the semantics of inheritance in 1984, program-ming ...
A type may be a subtype of another type. The intuition about this should be clear: a type is a type ...
Giuseppe Longo, Kathleen Milsted, and Sergei Soloviev. A Logic of Subtyping. (Full paper; extended a...
We extend Hagino’s categorical datatypes with subtyping and a lim-ited form of inheritance. The view...
We extend Hagino's categorical datatypes with subtyping and a lim-ited form of inheritance. The...
OOPSLA, Article 113International audienceProgramming languages that support multiple dispatch rely o...
Partially supported by EEC, Science Project SC1-CT92-0789Consiglio Nazionale delle Ricerche (CNR). B...
Published Jan 1996. Supported by MURST Project: "Calcolo algebrico, Sistemi di Manipolazione Al...
Subtyping appears in a variety of programming languages, in the form of the "automatic coercion...
Le reti neurali artificiali, grazie alle nuove tecniche di Deep Learning, hanno completamente rivolu...
The growing interest in integrating symbolic and subsymbolic computing techniques is manifested by t...