Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Typing_environment> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Typing_environment abstract "In type theory a typing environment (or variable assignment) represents the association between variables names and data types.More formally an environment is a set or ordered list of pairs , usually written as , were is a variable and its type.In statically typed programming languages these environments are used and maintained by type rules to type check a given program or expression.".
- Typing_environment wikiPageID "34556475".
- Typing_environment wikiPageRevisionID "583391236".
- Typing_environment hasPhotoCollection Typing_environment.
- Typing_environment subject Category:Data_types.
- Typing_environment subject Category:Program_analysis.
- Typing_environment subject Category:Type_theory.
- Typing_environment comment "In type theory a typing environment (or variable assignment) represents the association between variables names and data types.More formally an environment is a set or ordered list of pairs , usually written as , were is a variable and its type.In statically typed programming languages these environments are used and maintained by type rules to type check a given program or expression.".
- Typing_environment label "Typing environment".
- Typing_environment label "定型环境".
- Typing_environment sameAs m.0j27j3m.
- Typing_environment sameAs Q7861389.
- Typing_environment sameAs Q7861389.
- Typing_environment wasDerivedFrom Typing_environment?oldid=583391236.
- Typing_environment isPrimaryTopicOf Typing_environment.