About: Programming Computable Functions

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Programming Computable Functions Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFunctionalLanguages, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FProgramming_Computable_Functions

In computer science, Programming Computable Functions (PCF) is a typed functional language introduced by Gordon Plotkin in 1977, based on previous unpublished material 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 or Haskell.

Attributes	Values
rdf:type	language yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFunctionalLanguages
rdfs:label	Programming Computable Functions (en)
rdfs:comment	In computer science, Programming Computable Functions (PCF) is a typed functional language introduced by Gordon Plotkin in 1977, based on previous unpublished material 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 or Haskell. (en)
dcterms:subject	Functional languages Educational programming languages Academic programming languages Programming languages created in 1977 Programming language theory
Wikipage page ID	3239232 (xsd:integer)
Wikipage revision ID	1113307537 (xsd:integer)
Link from a Wikipage to another Wikipage	Cartesian closed Robin Milner Typed lambda calculus ML programming language Functional languages Gordon Plotkin Computer science Functional programming Theoretical Computer Science (journal) Educational programming languages Type system Domain theory Game semantics Least fixed point Dana Scott Haskell Academic programming languages Programming languages created in 1977 Programming language theory Scott-continuous Fixed-point combinator Parallel or Fully abstract Λ-abstraction dbr:Kripke_logical_relations dbr:Ralph_Loader
Link from a Wikipage to an external page	http://www.cs.bham.ac.uk/~mhe/papers/RNC3.pdf https://theory.stanford.edu/~jcm/books/fpl-chap2.ps https://web.archive.org/web/20071213234103/http:/www.cs.pomona.edu/classes/cs131/Parsers/parsePCF.sml https://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf
sameAs	Programming Computable Functions Programming Computable Functions Programming Computable Functions Programming Computable Functions
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_journal dbt:Harv dbt:R dbt:Reflist dbt:Rp dbt:Short_description
group	note (en)
r	"PCF is a programming language for computable functions, based on LCF, Scott’s logic of computable functions." Programming Computable Functions is used by . It is also referred to as Programming with Computable Functions or Programming language for Computable Functions. (en)
has abstract	In computer science, Programming Computable Functions (PCF) is a typed functional language introduced by Gordon Plotkin in 1977, based on previous unpublished material 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 or Haskell. A fully abstract model for PCF was first given by Robin Milner. However, since Milner's model was essentially based on the syntax of PCF it was considered less than satisfactory. The first two fully abstract models not employing syntax were formulated during the 1990s. These models are based on game semantics and . For a time it was felt that neither of these models was completely satisfactory, since they were not effectively presentable. However, 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. (en)
gold:hypernym	Language
prov:wasDerivedFrom	wikipedia-en:Programming_Computable_Functions?oldid=1113307537&ns=0
page length (characters) of wiki page	8641 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Programming_Computable_Functions
is Link from a Wikipage to another Wikipage of	Let expression Gordon Plotkin PCF Programming language theory Logic of Computable Functions ALGOL John C. Reynolds Programming language for Computable Functions Programming with Computable Functions
is Wikipage redirect of	Programming language for Computable Functions Programming with Computable Functions
is Wikipage disambiguates of	PCF
is known for of	Gordon Plotkin
is known for of	Gordon Plotkin
is foaf:primaryTopic of	wikipedia-en:Programming_Computable_Functions

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software