Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Mogensen–Scott_encoding> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Mogensen–Scott_encoding abstract "In computer science, Scott encoding is a way to represent (recursive) data types in the lambda calculus. Church encoding performs a similar function. The data and operators form a mathematical structure which is embedded in the lambda calculus.Whereas Church encoding starts with representations of the basic data types, and builds up from it, Scott encoding starts from the simplest method to compose algebraic data types.Mogensen–Scott encoding extends and slightly modifies Scott encoding by applying the encoding to Metaprogramming. This encoding allows the representation of lambda calculus terms, as data, to be operated on by a meta program.".
- Mogensen–Scott_encoding wikiPageExternalLink archon.pdf.
- Mogensen–Scott_encoding wikiPageID "15465998".
- Mogensen–Scott_encoding wikiPageLength "7071".
- Mogensen–Scott_encoding wikiPageOutDegree "25".
- Mogensen–Scott_encoding wikiPageRevisionID "678500332".
- Mogensen–Scott_encoding wikiPageWikiLink Algebraic_data_type.
- Mogensen–Scott_encoding wikiPageWikiLink Algebraic_data_types.
- Mogensen–Scott_encoding wikiPageWikiLink Arity.
- Mogensen–Scott_encoding wikiPageWikiLink Category:Lambda_calculus.
- Mogensen–Scott_encoding wikiPageWikiLink Church_encoding.
- Mogensen–Scott_encoding wikiPageWikiLink Computer_science.
- Mogensen–Scott_encoding wikiPageWikiLink Dana_Scott.
- Mogensen–Scott_encoding wikiPageWikiLink Embedding.
- Mogensen–Scott_encoding wikiPageWikiLink Haskell_(programming_language).
- Mogensen–Scott_encoding wikiPageWikiLink Lambda_calculus.
- Mogensen–Scott_encoding wikiPageWikiLink Lambda_cube.
- Mogensen–Scott_encoding wikiPageWikiLink Metaprogramming.
- Mogensen–Scott_encoding wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Mogensen–Scott_encoding wikiPageWikiLink Parameter_(computer_programming).
- Mogensen–Scott_encoding wikiPageWikiLink Recursive_data_type.
- Mogensen–Scott_encoding wikiPageWikiLink Strong_normalization.
- Mogensen–Scott_encoding wikiPageWikiLink System_F.
- Mogensen–Scott_encoding wikiPageWikiLink Tagged_union.
- Mogensen–Scott_encoding wikiPageWikiLink Torben_Mogensen.
- Mogensen–Scott_encoding wikiPageWikiLink Untyped_lambda_calculus.
- Mogensen–Scott_encoding wikiPageWikiLinkText "Mogensen–Scott encoding".
- Mogensen–Scott_encoding hasPhotoCollection Mogensen–Scott_encoding.
- Mogensen–Scott_encoding wikiPageUsesTemplate Template:Compsci-stub.
- Mogensen–Scott_encoding wikiPageUsesTemplate Template:Reflist.
- Mogensen–Scott_encoding subject Category:Lambda_calculus.
- Mogensen–Scott_encoding comment "In computer science, Scott encoding is a way to represent (recursive) data types in the lambda calculus. Church encoding performs a similar function.".
- Mogensen–Scott_encoding label "Mogensen–Scott encoding".
- Mogensen–Scott_encoding sameAs m.03mb6bz.
- Mogensen–Scott_encoding sameAs Q6890509.
- Mogensen–Scott_encoding sameAs Q6890509.
- Mogensen–Scott_encoding wasDerivedFrom Mogensen–Scott_encoding?oldid=678500332.
- Mogensen–Scott_encoding isPrimaryTopicOf Mogensen–Scott_encoding.