PROOF/L Meaning of PROOF/L in English A functional , object-oriented language with implicit parallelism . [J Parallel Dist Comp 12:202-212 (1991)]. [Forthcoming Technical Report from RADC ]. (1994-10-31) FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012