资料来源 : Free On-Line Dictionary of Computing

PROOF/L
     
        A {functional}, {object-oriented language} with {implicit
        parallelism}.
     
        [J Parallel Dist Comp 12:202-212 (1991)].
     
        [Forthcoming Technical Report from {RADC}].
     
        (1994-10-31)