Dynamic Typing in Polymorphic Languages.

Martín Abadi Luca Cardelli Benjamin C. Pierce Didier Rémy

Published in: J. Funct. Program. (1995)

Keyphrases

dynamic environments
changing environment
databases
database systems
object oriented languages
database
real world
e learning
knowledge base
website
decision trees
expressive power