Compiler-directed Type Reconstruction for Polymorphic Languages.

Shail Aditya Alejandro Caro

Published in: FPCA (1993)

Keyphrases

type checking
object oriented languages
java virtual machine
three dimensional
programming language
database query languages
language independent
general purpose
natural language
high resolution
data types
cross lingual
query processor