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.





< Previous Terms Terms Containing TALE Next Terms >
tail recursion
tail recursion modulo cons
tail recursion optimisation
tail-strict
TAL
aliasing bug
creationism
cyberpunk
gorilla arm
hacker humour
Taligent
talk
talk bomb
talker system
talk mode