Source : Free On-Line Dictionary of Computing

PCF
     
        A simply typed, {functional language}.
     
        ["Fully Abstract Translations Between Functional Languages",
        J. Riecke, 18th POPL, pp. 245-254 (1991)].
     
        ["LCF Considered as a Programming Language", Theor CS 5:223,
        1977].
     
        (1996-01-18)