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 |
