Classboxes an experiment in modeling compositional abstractions using explicit contexts.
The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are hampered by the dependence on position and arity of parameters. In order to address this issue, we have defined λF, a substitution-free variant...
| 發表在: | Software engineering notes. 31, 2 (2006). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |