Revision as of 11:00, 10 January 2006 edit Koffieyahoo (talk \| contribs) 2,004 edits m move stub to the bottom ← Previous edit		Revision as of 17:09, 18 January 2006 edit undo Smimram (talk \| contribs) 552 edits added a ref to game semantics Next edit →
Line 1: '''PCF''' or [[Programming language for Computable Functions]] is a typed [[Functional programming\|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 programming language\|ML]]. A [[fully abstract]] model for PCF was first given using [[game semantics]]. ==External link==

Programming Computable Functions: Difference between revisions