Login / Signup
Explaining Type Errors In Polimorphic Languages.
Mike Beaven
Ryan Stansifer
Published in:
LOPLAS (1993)
Keyphrases
</>
type checking
expressive power
databases
data mining
error propagation
multi lingual
object oriented languages