Type Inferencing Based on Complete Type Specifications.

Leonid A. Kalinichenko, Vladimir Zadorozhny

Browse the full ADBIS paper archive.