VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
simply-typed
not found. Suggestions:
strong typing
PCF
PPLambda
type-ahead
TALE
Idealized CSP
cursor
typed lambda-calculus
CPL
Computational Adequacy Theorem