Amber. In Combinators and functional programming languages (1986)

by L CARDELLI