DuckCorp

DuckCorp Dico

(RFC 2229 compliant dictionary server)
more options

Found one definition 

  1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                

    
                
                  
    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)