|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 7 gevonden artikelen
| Titel: |
Explicit Environments |
| Auteur: |
Sato, Masahiko Sakurai, Takafumi Burstall, Rod |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 45 (2003) nr. 1-2 pagina's 79-115 |
| Jaar: |
2003-07-11 |
| Inhoud: |
We introduce λε, a simply typed calculus with environments as first class values. As well as the usual constructs of λ and application, we have e[a] which evaluates term a in an environment e. Our environments are sets of variable-value pairs, but environments can also be computed by function application and evaluation in some other environments. The notion of environments here is a generalization of explicit substitutions and records. We show that the calculus has desirable properties such as subject reduction, confluence, conservativity over the simply typed λβ-calculus and strong normalizability. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 7 gevonden artikelen
| << vorige | volgende >> |