GENS

GENS is a calculus (an abstract VM) of explicit lexical environments by Mario Blazevic; on top of GENS, you can implement the lambda calculus, your favorite object-oriented languages, etc.