Erasure and Polymorphism in Pure Type Systems.

Nathan Mishra-Linger Tim Sheard

Published in: FoSSaCS (2008)

Keyphrases

complex systems
intelligent systems
e learning
database
databases
learning environment
evolutionary algorithm
multiresolution
knowledge based systems
building blocks