141 search results - page 29 / 29 » Logical Reasoning for Higher-Order Functions with Local Stat... |
158
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...