Revision as of 18:43, 25 November 2005 edit Tizio (talk \| contribs) Extended confirmed users 13,769 edits cleaned up ← Previous edit		Revision as of 18:49, 25 November 2005 edit undo Tizio (talk \| contribs) Extended confirmed users 13,769 edits internal link + external link 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]]. ==External link== * [http://www.cs.bham.ac.uk/~mhe/papers/RNC3.pdf Introduction to RealPCF] {{comp-stub}}

Programming Computable Functions: Difference between revisions