Dynamic binding and lexical binding in a transformation calculus (0)

by Jacques Garrigue
Venue:In Proc. of the Fuji International Workshop on Functional and Logic Programming. World Scientific