A Syntactic Theory of Dynamic Binding (1997)

by Luc Moreau
Venue:Higher-Order and Symbolic Computation