TALE

Typed Applicative Language Experiment

M. van Leeuwen

A language which is lazy, purely applicative, and polymorphic, based on typed second order lambda calculus.

"Functional Programming and the Language TALE", H. P. Barendregt et al, in Current Trends in Concurrency, Lecture Notes in Computer Science 224, Springer-Verlag, 1986, pp.122-207.