A layered functional programming language
Design and implementation of a layered functional programming language