Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Phase_distinction> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Phase_distinction abstract "Phase Distinction is a property of programming languages that observe a strict division between types and terms. A concise rule for determining whether phase distinction is preserved in a language or not has been proposed by Luca Cardelli - If A is a compile-time term and B is a subterm of A, then B must also be a compile-time term. Most strongly typed languages conform to the principle of phase distinction. However, some languages with especially flexible and expressive type systems (notably dependently typed programming languages) allow types to be manipulated in the same ways as regular terms. They may be passed to functions or returned as results.A language with phase distinction may have separate namespaces for types and run-time variables. In an optimizing compiler, phase distinction marks the boundary between expressions which are safe to erase.".
- Phase_distinction wikiPageID "36335710".
- Phase_distinction wikiPageLength "2471".
- Phase_distinction wikiPageOutDegree "8".
- Phase_distinction wikiPageRevisionID "613111402".
- Phase_distinction wikiPageWikiLink Category:Computer_programming.
- Phase_distinction wikiPageWikiLink Dependent_type.
- Phase_distinction wikiPageWikiLink Expression_(computer_science).
- Phase_distinction wikiPageWikiLink Luca_Cardelli.
- Phase_distinction wikiPageWikiLink Namespace.
- Phase_distinction wikiPageWikiLink Optimizing_compiler.
- Phase_distinction wikiPageWikiLink Type_erasure.
- Phase_distinction wikiPageWikiLink Typed_lambda_calculus.
- Phase_distinction wikiPageWikiLinkText "phase distinction".
- Phase_distinction wikiPageUsesTemplate Template:Reflist.
- Phase_distinction subject Category:Computer_programming.
- Phase_distinction hypernym Property.
- Phase_distinction type Building.
- Phase_distinction comment "Phase Distinction is a property of programming languages that observe a strict division between types and terms. A concise rule for determining whether phase distinction is preserved in a language or not has been proposed by Luca Cardelli - If A is a compile-time term and B is a subterm of A, then B must also be a compile-time term. Most strongly typed languages conform to the principle of phase distinction.".
- Phase_distinction label "Phase distinction".
- Phase_distinction sameAs Q7180947.
- Phase_distinction sameAs m.0k3ng27.
- Phase_distinction sameAs Q7180947.
- Phase_distinction wasDerivedFrom Phase_distinction?oldid=613111402.
- Phase_distinction isPrimaryTopicOf Phase_distinction.