A concrete framework for environment machines

Abstract

We materialize the common understanding that calculi with explicit substitutions provide an intermediate step between an abstract specification of substitution in the lambda-calculus and its concrete implementations. To this end, we go back to Curien's original calculus of closures (an early calculus with explicit substitutions), we extend it minimally so… (More)
DOI: 10.1145/1297658.1297664

Topics

1 Figure or Table

Statistics

051015'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Biernacka2007ACF, title={A concrete framework for environment machines}, author={Malgorzata Biernacka and Olivier Danvy}, journal={ACM Trans. Comput. Log.}, year={2007}, volume={9}, pages={6} }