PCF or Programming language for Computable Functions is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Function (LCF) by Dana Scott. It can be considered as a simplified version of modern typed functional languages such as ML.
 | This computing article is a stub. You can help Wikipedia by expanding it. |