Home > Electronics Tutorials > Online Computer Terms Dictionary > P

Online Computer Terms Dictionary - P

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)

 


Nearby terms: PCB PC Card PCCTS PCF PCI PCI bus PCI Configuration Utility
 

Discover

     more......