4 Varlang: A Language with Variables | part of An Experiential Introduction to Principles of Programming Languages | MIT Press books | IEEE Xplore