Towards a Formal Type System for ODMG OQL

Detalhes bibliográficos
Principais autores: Bierman, G, Trigoni, N
Formato: Report
Publicado em: University of Cambridge‚ Computer Laboratory 2000