A Framework for Strong Typing and Type Inference in (Persistent) Object Models.

Alfons Kemper, Guido Moerkotte

Browse the full DEXA paper archive.