Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Second-Order Lambda-calculus

You are here: irt.org | FOLDOC | 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].

(1995-07-29)

Nearby terms: second generation language « second level cache « second normal form « Second-Order Lambda-calculus » second-system effect » sector interleave » sector interleaving

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb