Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Programming_Computable_Functions> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples 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 index.html.
- Programming_Computable_Functions wikiPageExternalLink scott93tcs.pdf.
- Programming_Computable_Functions wikiPageExternalLink LCF.pdf.
- Programming_Computable_Functions wikiPageExternalLink RNC3.pdf.
- Programming_Computable_Functions wikiPageExternalLink parsePCF.sml.
- Programming_Computable_Functions wikiPageID "3239232".
- Programming_Computable_Functions wikiPageLength "7020".
- Programming_Computable_Functions wikiPageOutDegree "25".
- Programming_Computable_Functions wikiPageRevisionID "628232785".
- Programming_Computable_Functions wikiPageWikiLink Cartesian_closed.
- Programming_Computable_Functions wikiPageWikiLink Cartesian_closed_category.
- Programming_Computable_Functions wikiPageWikiLink Category:1977_in_computer_science.
- Programming_Computable_Functions wikiPageWikiLink Category:Academic_programming_languages.
- Programming_Computable_Functions wikiPageWikiLink Category:Educational_programming_languages.
- Programming_Computable_Functions wikiPageWikiLink Category:Functional_languages.
- Programming_Computable_Functions wikiPageWikiLink Category:Programming_language_theory.
- Programming_Computable_Functions wikiPageWikiLink Computer_science.
- Programming_Computable_Functions wikiPageWikiLink Dana_Scott.
- Programming_Computable_Functions wikiPageWikiLink Denotational_semantics.
- Programming_Computable_Functions wikiPageWikiLink Domain_theory.
- Programming_Computable_Functions wikiPageWikiLink Fixed-point_combinator.
- Programming_Computable_Functions wikiPageWikiLink Fully_abstract.
- Programming_Computable_Functions wikiPageWikiLink Functional_programming.
- Programming_Computable_Functions wikiPageWikiLink Game_semantics.
- Programming_Computable_Functions wikiPageWikiLink Kripke_logical_relations.
- Programming_Computable_Functions wikiPageWikiLink Lambda_calculus.
- Programming_Computable_Functions wikiPageWikiLink Least_fixed_point.
- Programming_Computable_Functions wikiPageWikiLink ML_(programming_language).
- Programming_Computable_Functions wikiPageWikiLink ML_programming_language.
- Programming_Computable_Functions wikiPageWikiLink Parallel_or.
- Programming_Computable_Functions wikiPageWikiLink Ralph_Loader.
- Programming_Computable_Functions wikiPageWikiLink Robin_Milner.
- Programming_Computable_Functions wikiPageWikiLink Scott-continuous.
- Programming_Computable_Functions wikiPageWikiLink Scott_continuity.
- Programming_Computable_Functions wikiPageWikiLink Theoretical_Computer_Science_(journal).
- Programming_Computable_Functions wikiPageWikiLink Type_system.
- Programming_Computable_Functions wikiPageWikiLink Typed_lambda_calculus.
- Programming_Computable_Functions wikiPageWikiLink Λ-abstraction.
- Programming_Computable_Functions wikiPageWikiLinkText "LCF language".
- Programming_Computable_Functions wikiPageWikiLinkText "Programming Computable Functions".
- Programming_Computable_Functions hasPhotoCollection Programming_Computable_Functions.
- Programming_Computable_Functions wikiPageUsesTemplate Template:Cite_book.
- Programming_Computable_Functions wikiPageUsesTemplate Template:Cite_journal.
- Programming_Computable_Functions wikiPageUsesTemplate Template:Merge_from.
- 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 hypernym Language.
- Programming_Computable_Functions type Area.
- Programming_Computable_Functions type Language.
- Programming_Computable_Functions type Area.
- Programming_Computable_Functions type Language.
- 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 wasDerivedFrom Programming_Computable_Functions?oldid=628232785.
- Programming_Computable_Functions isPrimaryTopicOf Programming_Computable_Functions.