VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
A language by Don Sannella of the
University of Edinburgh
combining
algebraic specification
and
functionalprogramming
.
["Program Specification and Development in Standard ML",
D. Sannella et al, 12th POPL, ACM 1985].
(1994-12-12)