TALE(ID:1279/tal006)


Typed Applicative Language Experiment. M. van Leeuwen. Lazy, purely applicative, polymorphic. Based on typed second order lambda calculus.


References:
  • Barendregt, H.P. et al, "Functional Programming and the Language TALE", in Current Trends in Concurrency, LNCS 224, Springer 1986, pp.122- 207. view details