Wikipedia

Programming Computable Functions

This is an old revision of this page, as edited by Smimram (talk | contribs) at 17:09, 18 January 2006 (added a ref to game semantics). 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.

A fully abstract model for PCF was first given using game semantics.

Sources

 

This computing article is a stub. You can help Wikipedia by expanding it.

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