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
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading