The expansion postponement in Pure Type Systems.

Published in: J. Comput. Sci. Technol. (1997)

Keyphrases

complex systems
management system
databases
building blocks
embedded systems
data mining
natural language
response time