TALE
Typed Applicative Language Experiment. M. van Leeuwen. Lazy,
purely applicative, polymorphic. Based on typed second order
lambda-calculus. "Functional Programming and the Language
TALE", H.P. Barendregt et al, in Current Trends in
Concurrency, LNCS 224, Springer 1986, pp.122-207.