Encyclopedia

Second-Order Lambda-calculus

(language)

(SOL) A typed lambda-calculus.

["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51].

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.