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.
Comments, Experience, Additions
Next Language: TALL