Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Programming_language_theory> . }
Showing items 1 to 33 of
33
with 100 items per page.
- Abstract_syntax subject Category:Programming_language_theory.
- Divergence_(computer_science) subject Category:Programming_language_theory.
- First-class_function subject Category:Programming_language_theory.
- Function-level_programming subject Category:Programming_language_theory.
- Higher-order_abstract_syntax subject Category:Programming_language_theory.
- Logic_error subject Category:Programming_language_theory.
- Logic_of_Computable_Functions subject Category:Programming_language_theory.
- Non-local_variable subject Category:Programming_language_theory.
- POPLmark_challenge subject Category:Programming_language_theory.
- Programming_Computable_Functions subject Category:Programming_language_theory.
- Programming_language_theory subject Category:Programming_language_theory.
- Proof-carrying_code subject Category:Programming_language_theory.
- Qualification_principle subject Category:Programming_language_theory.
- Referential_transparency_(computer_science) subject Category:Programming_language_theory.
- Semantic_error subject Category:Programming_language_theory.
- Side_effect_(computer_science) subject Category:Programming_language_theory.
- Structured_program_theorem subject Category:Programming_language_theory.
- Syntax_error subject Category:Programming_language_theory.
- Turing_completeness subject Category:Programming_language_theory.
- Typed_assembly_language subject Category:Programming_language_theory.
- Variadic subject Category:Programming_language_theory.
- Category:Academic_programming_languages broader Category:Programming_language_theory.
- Category:Compiler_construction broader Category:Programming_language_theory.
- Category:Dependently_typed_programming broader Category:Programming_language_theory.
- Category:Lambda_calculus broader Category:Programming_language_theory.
- Category:Program_analysis broader Category:Programming_language_theory.
- Category:Program_transformation broader Category:Programming_language_theory.
- Category:Programming_language_researchers broader Category:Programming_language_theory.
- Category:Programming_language_semantics broader Category:Programming_language_theory.
- Category:Programming_languages broader Category:Programming_language_theory.
- Category:Rewriting_systems broader Category:Programming_language_theory.
- Category:Substitution_(logic) broader Category:Programming_language_theory.
- Category:Type_theory broader Category:Programming_language_theory.