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...
| Publié dans: | Software engineering notes. 31, 2 (2006). |
|---|---|
| Auteur principal: | |
| Format: | Article |
| Langue: | English |
| Sujets: |