Dynamic Binding and Lexical Binding in a Transformation Calculus

Jacques Garrigue. In Proc. of the Fuji International Workshop on Functional and Logic Programming. World Scientific, Singapore, 1995. ISBN 981-02-2437-0

Abstract. While dynamic and lexical binding for variables have both their uses in programming, no language gives an equal access to them.

By encoding them simultaneously in an extension of the lambda-calculus, we show that there is no contradiction between them, and give a better understanding of their respective roles.

Moreover we give a simple type system for the encoding calculus, showing that not only lexical binding, but also dynamic binding, can be correctly typed without abusive restrictions.

You can get the PDF or DVI version of this paper.

JG 96.1.31