Sfoglia per Autore
A Strongly Typed, Interactive Object-Oriented Database Programming Language
1986-01-01 Albano, Antonio; Ghelli, Giorgio; Occhiuto, MARIA EUGENIA; R., Orsini
A framework for comparing type systems for database programming languages
1989-01-01 A., Albano; A., Dearle; Ghelli, Giorgio; C., Marlin; R., Morrison; R., Orsini; D., Stemple
Types for databases: the Galileo experience
1989-01-01 A., Albano; Ghelli, Giorgio; R., Orsini
Reflections on object-oriented database programming languages features
1989-01-01 Albano, Antonio; Ghelli, Giorgio; R., Orsini
Types and subtypes as partial equivalence relations
1989-01-01 Ghelli, Giorgio; R., Orsini
Coherence of subsumption
1990-01-01 P. L., Curien; Ghelli, Giorgio
A class abstraction for a hierarchical type system
1990-01-01 Ghelli, Giorgio
Object-oriented data base programming languages
1991-01-01 A., Albano; Ghelli, Giorgio
Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract
1991-01-01 P. L., Curien; Ghelli, Giorgio
Objects for a database programming language
1991-01-01 A., Albano; Ghelli, Giorgio; R., Orsini
A relationship mechanism for object-oriented database programming language
1991-01-01 A., Albano; Ghelli, Giorgio; R., Orsini
Object-Oriented Galileo
1991-01-01 Albano, Antonio; Ghelli, Giorgio; Occhiuto, MARIA EUGENIA; R., Orsini
Modelling features of object-oriented languages in second order functional languages with subtypes
1991-01-01 Ghelli, Giorgio
A STATIC TYPE SYSTEM FOR MESSAGE PASSING
1991-01-01 Ghelli, Giorgio
On confluence for weakly normalizing systems
1991-01-01 P. L., Curien; Ghelli, Giorgio
Run-time support for hierarchic records in persistent languages
1992-01-01 Ghelli, Giorgio
Design of an integrated query and manipulation notation for database languages
1992-01-01 Ghelli, Giorgio; R., Orsini; A. P., Paz; P., Trinder
A calculus for overloaded functions with subtyping, extended abstract
1992-01-01 G., Castagna; Ghelli, Giorgio; G., Longo
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub
1992-01-01 Curien, P. L.; Ghelli, Giorgio
A semantics for lambda-early: a calculus with overloading and early binding
1993-01-01 G., Castagna; Ghelli, Giorgio; G., Longo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile