Source : Free On-Line Dictionary of Computing

Second-Order Lambda-calculus
     
         (SOL) A {typed lambda-calculus}.
     
        ["Abstract Types have Existential Type", J. Mitchell et al,
        12th POPL, ACM 1985, pp. 37-51].
     
        (1995-07-29)