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.
Nearby terms:
tail recursion optimisation « tail-strict « TAL «
TALE
» Taligent » talk » talk bomb
|