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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: tail recursion optimisation « tail-strict « TAL « TALE » Taligent » talk » talk bomb


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.