Wikipedia

Programming Computable Functions

This is an old revision of this page, as edited by Koffieyahoo (talk | contribs) at 10:59, 10 January 2006 (add reference to Plotkin's original article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Sources

Retrieved from "https://en.wikipedia.org/w/index.php?title=Programming_Computable_Functions&oldid=34605785"