Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Programming_Computable_Functions> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Programming_Computable_Functions abstract "In computer science, Programming Computable Functions, or PCF, is a typed functional language introduced in an unpublished 1969 manuscript by Dana Scott. It can be considered to be an extended version of the typed lambda calculus or a simplified version of modern typed functional languages such as ML.A fully abstract model for PCF was first given by Milner (1977). However, since Milner's model was essentially based on the syntax of PCF it was considered less than satisfactory (Ong, 1995). The first two fully abstract models not employing syntax were formulated during the 1990s. These models are based on game semantics (Hyland and Ong, 2000; Abramsky, Jagadeesan, and Malacaria, 2000) and Kripke logical relations (O'Hearn and Riecke, 1995). For a time it was felt that neither of these models was completely satisfactory, since they were not effectively presentable. However, Ralph Loader demonstrated that no effectively presentable fully abstract model could exist, since the question of program equivalence in the finitary fragment of PCF is not decidable.".
- Programming_Computable_Functions wikiPageExternalLink LCF.pdf.
- Programming_Computable_Functions wikiPageExternalLink index.html.
- Programming_Computable_Functions wikiPageExternalLink RNC3.pdf.
- Programming_Computable_Functions wikiPageExternalLink scott93tcs.pdf.
- Programming_Computable_Functions wikiPageExternalLink parsePCF.sml.
- Programming_Computable_Functions wikiPageID "3239232".
- Programming_Computable_Functions wikiPageRevisionID "571182764".
- Programming_Computable_Functions hasPhotoCollection Programming_Computable_Functions.
- Programming_Computable_Functions subject Category:1977_in_computer_science.
- Programming_Computable_Functions subject Category:Academic_programming_languages.
- Programming_Computable_Functions subject Category:Educational_programming_languages.
- Programming_Computable_Functions subject Category:Functional_languages.
- Programming_Computable_Functions subject Category:Programming_language_theory.
- Programming_Computable_Functions type Abstraction100002137.
- Programming_Computable_Functions type Communication100033020.
- Programming_Computable_Functions type FunctionalLanguages.
- Programming_Computable_Functions type Language106282651.
- Programming_Computable_Functions comment "In computer science, Programming Computable Functions, or PCF, is a typed functional language introduced in an unpublished 1969 manuscript by Dana Scott. It can be considered to be an extended version of the typed lambda calculus or a simplified version of modern typed functional languages such as ML.A fully abstract model for PCF was first given by Milner (1977). However, since Milner's model was essentially based on the syntax of PCF it was considered less than satisfactory (Ong, 1995).".
- Programming_Computable_Functions label "Programming Computable Functions".
- Programming_Computable_Functions sameAs m.090jt4.
- Programming_Computable_Functions sameAs Q7248484.
- Programming_Computable_Functions sameAs Q7248484.
- Programming_Computable_Functions sameAs Programming_Computable_Functions.
- Programming_Computable_Functions wasDerivedFrom Programming_Computable_Functions?oldid=571182764.
- Programming_Computable_Functions isPrimaryTopicOf Programming_Computable_Functions.