Vietnamese dictionaries for mobile phones

A typing of an expression which may include type variables.

E.g.

x . x :: a -@# a

where a is a generic type variable which may be instantiated

to any type.

(1994-10-31)