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...
| Foilsithe in: | Software engineering notes. 31, 2 (2006). |
|---|---|
| Príomhchruthaitheoir: | |
| Formáid: | Alt |
| Teanga: | English |
| Ábhair: |