VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
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)