Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Type_rule> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Type_rule abstract "In type theory, a type rule is an inference rule that describes how a type system assigns a type to a syntactic construction. These rules may be applied by the type system to determine if a program is well typed and what type expressions have. A prototypical example of the use of type rules is in defining type inference in the simply typed lambda calculus, which is the internal language of Cartesian closed categories.".
- Type_rule wikiPageID "374851".
- Type_rule wikiPageRevisionID "531761526".
- Type_rule hasPhotoCollection Type_rule.
- Type_rule subject Category:Data_types.
- Type_rule subject Category:Program_analysis.
- Type_rule subject Category:Type_theory.
- Type_rule comment "In type theory, a type rule is an inference rule that describes how a type system assigns a type to a syntactic construction. These rules may be applied by the type system to determine if a program is well typed and what type expressions have. A prototypical example of the use of type rules is in defining type inference in the simply typed lambda calculus, which is the internal language of Cartesian closed categories.".
- Type_rule label "Type rule".
- Type_rule sameAs m.0h555zv.
- Type_rule sameAs Q7860911.
- Type_rule sameAs Q7860911.
- Type_rule wasDerivedFrom Type_rule?oldid=531761526.
- Type_rule isPrimaryTopicOf Type_rule.