Modules, abstraction, and parametric polymorphism.

Published in: POPL (2017)

Keyphrases

high level
building blocks
decision making
data abstraction
functional modules
parametric models
modular structure
databases
modular architecture
software modules
modular robots
knowledge structures
search algorithm
learning environment
database systems
web pages
genetic algorithm