CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 99
Titolo Data di pubblicazione Autore(i) File
A Strongly Typed, Interactive Object-Oriented Database Programming Language 1-gen-1986 Albano, Antonio; Ghelli, Giorgio; Occhiuto, MARIA EUGENIA; R., Orsini
A framework for comparing type systems for database programming languages 1-gen-1989 A., Albano; A., Dearle; Ghelli, Giorgio; C., Marlin; R., Morrison; R., Orsini; D., Stemple
Types for databases: the Galileo experience 1-gen-1989 A., Albano; Ghelli, Giorgio; R., Orsini
Reflections on object-oriented database programming languages features 1-gen-1989 Albano, Antonio; Ghelli, Giorgio; R., Orsini
Types and subtypes as partial equivalence relations 1-gen-1989 Ghelli, Giorgio; R., Orsini
Coherence of subsumption 1-gen-1990 P. L., Curien; Ghelli, Giorgio
A class abstraction for a hierarchical type system 1-gen-1990 Ghelli, Giorgio
Object-oriented data base programming languages 1-gen-1991 A., Albano; Ghelli, Giorgio
Subtyping + extensionality: Confluence of beta-eta top in Fsub, extended abstract 1-gen-1991 P. L., Curien; Ghelli, Giorgio
Objects for a database programming language 1-gen-1991 A., Albano; Ghelli, Giorgio; R., Orsini
A relationship mechanism for object-oriented database programming language 1-gen-1991 A., Albano; Ghelli, Giorgio; R., Orsini
Object-Oriented Galileo 1-gen-1991 Albano, Antonio; Ghelli, Giorgio; Occhiuto, MARIA EUGENIA; R., Orsini
Modelling features of object-oriented languages in second order functional languages with subtypes 1-gen-1991 Ghelli, Giorgio
A STATIC TYPE SYSTEM FOR MESSAGE PASSING 1-gen-1991 Ghelli, Giorgio
On confluence for weakly normalizing systems 1-gen-1991 P. L., Curien; Ghelli, Giorgio
Run-time support for hierarchic records in persistent languages 1-gen-1992 Ghelli, Giorgio
Design of an integrated query and manipulation notation for database languages 1-gen-1992 Ghelli, Giorgio; R., Orsini; A. P., Paz; P., Trinder
A calculus for overloaded functions with subtyping, extended abstract 1-gen-1992 G., Castagna; Ghelli, Giorgio; G., Longo
Coherence of Subsumption, Minimum Typing and Type Checking in Fsub 1-gen-1992 Curien, P. L.; Ghelli, Giorgio
A semantics for lambda-early: a calculus with overloading and early binding 1-gen-1993 G., Castagna; Ghelli, Giorgio; G., Longo
Mostra risultati da 1 a 20 di 99
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