DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   Fun
      A typed lambda-calculus, similar to SOL[2].  "On
      Understanding Types, Data Abstractions and Polymorphism",
      L. Cardelli et al, ACM Comp Surveys 17(4) (Dec 1985).