Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Uniqueness_type> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Uniqueness_type abstract "In computing, a unique type guarantees that an object is used in a single-threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be optimized to update the value in-place in the object code. Such in-place updates improve the efficiency of functional languages while maintaining referential transparency. Unique types can also be used to integrate functional and imperative programming.".
- Uniqueness_type wikiPageExternalLink ForthStack.html.
- Uniqueness_type wikiPageExternalLink LBoyer.html.
- Uniqueness_type wikiPageExternalLink LFrpoly.html.
- Uniqueness_type wikiPageExternalLink LQsort.html.
- Uniqueness_type wikiPageExternalLink LRefCounts.html.
- Uniqueness_type wikiPageExternalLink LinearLisp.html.
- Uniqueness_type wikiPageExternalLink Use1Var.html.
- Uniqueness_type wikiPageExternalLink linear-logic.html.
- Uniqueness_type wikiPageExternalLink llb.html.
- Uniqueness_type wikiPageExternalLink ifl07-paper.pdf.
- Uniqueness_type wikiPageID "161881".
- Uniqueness_type wikiPageLength "5373".
- Uniqueness_type wikiPageOutDegree "19".
- Uniqueness_type wikiPageRevisionID "647783803".
- Uniqueness_type wikiPageWikiLink Category:Type_theory.
- Uniqueness_type wikiPageWikiLink Clean_(programming_language).
- Uniqueness_type wikiPageWikiLink Compiler_optimization.
- Uniqueness_type wikiPageWikiLink Computing.
- Uniqueness_type wikiPageWikiLink Functional_language.
- Uniqueness_type wikiPageWikiLink Functional_programming.
- Uniqueness_type wikiPageWikiLink O.
- Uniqueness_type wikiPageWikiLink output.
- Uniqueness_type wikiPageWikiLink Linear_logic.
- Uniqueness_type wikiPageWikiLink Linear_type.
- Uniqueness_type wikiPageWikiLink Mercury_(programming_language).
- Uniqueness_type wikiPageWikiLink Monad_(functional_programming).
- Uniqueness_type wikiPageWikiLink Monads_in_functional_programming.
- Uniqueness_type wikiPageWikiLink Object_code.
- Uniqueness_type wikiPageWikiLink Operating_system.
- Uniqueness_type wikiPageWikiLink Optimizing_compiler.
- Uniqueness_type wikiPageWikiLink Referential_transparency_(computer_science).
- Uniqueness_type wikiPageWikiLink Scala_(programming_language).
- Uniqueness_type wikiPageWikiLink Side_effect_(computer_science).
- Uniqueness_type wikiPageWikiLink Single-threaded.
- Uniqueness_type wikiPageWikiLink Single_threading.
- Uniqueness_type wikiPageWikiLink Substructural_type_system.
- Uniqueness_type wikiPageWikiLink System_call.
- Uniqueness_type wikiPageWikiLink Type_system.
- Uniqueness_type wikiPageWikiLinkText "Uniqueness type".
- Uniqueness_type wikiPageWikiLinkText "Uniqueness".
- Uniqueness_type wikiPageWikiLinkText "uniqueness type".
- Uniqueness_type wikiPageWikiLinkText "uniqueness typing system".
- Uniqueness_type wikiPageWikiLinkText "uniqueness".
- Uniqueness_type hasPhotoCollection Uniqueness_type.
- Uniqueness_type wikiPageUsesTemplate Template:External_links.
- Uniqueness_type wikiPageUsesTemplate Template:Type_systems.
- Uniqueness_type subject Category:Type_theory.
- Uniqueness_type comment "In computing, a unique type guarantees that an object is used in a single-threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be optimized to update the value in-place in the object code. Such in-place updates improve the efficiency of functional languages while maintaining referential transparency. Unique types can also be used to integrate functional and imperative programming.".
- Uniqueness_type label "Uniqueness type".
- Uniqueness_type sameAs m.015gmn.
- Uniqueness_type sameAs Q7886969.
- Uniqueness_type sameAs Q7886969.
- Uniqueness_type wasDerivedFrom Uniqueness_type?oldid=647783803.
- Uniqueness_type isPrimaryTopicOf Uniqueness_type.