follow Dictionary.com

How Well Do You Know English Slang?

second-order lambda-calculus

second-order lambda-calculus in Technology

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

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for second

9
11
Scrabble Words With Friends