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].



< Previous Terms Terms Containing Second-Order Lambda-calculus Next Terms >
secondary storage
second generation computer
second generation language
second level cache
second normal form
SOL
second-system effect
sector interleave
sector interleaving
sector map
sector mapping