Re: Re: First-class environments
Neelakantan Krishnaswami <[email protected]>
| Newsgroups | gmane.comp.lang.lightweight |
|---|---|
| Message-ID | <[email protected]> |
Chung-chieh Shan writes: > > Surely people have tried to deal with this problem by applying > static typing to environments, perhaps along the lines of record > typing, which would be analogous of keeping track of the typing > environment in a typical programming language? The explicit substitution calculi do exactly this, don't they? -- Neel Krishnaswami [email protected]