Towards a Formal Type System for ODMG OQL
Gavin Bierman and Niki Trigoni
Details
| Institution |
University of Cambridge‚ Computer Laboratory |
| Month |
October |
| Number |
TR 497 |
| Year |
2000 |
Links
Related pages
|
People |