DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   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.