Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Programming_language_theory> }
Showing triples 1 to 49 of
49
with 100 triples per page.
- PLT wikiPageDisambiguates Programming_language_theory.
- Programming_language_research wikiPageRedirects Programming_language_theory.
- Theory_of_programming_languages wikiPageRedirects Programming_language_theory.
- Abstraction_principle_(computer_programming) wikiPageWikiLink Programming_language_theory.
- Call-by-push-value wikiPageWikiLink Programming_language_theory.
- Compiler_construction wikiPageWikiLink Programming_language_theory.
- Computational_model wikiPageWikiLink Programming_language_theory.
- Computer_science wikiPageWikiLink Programming_language_theory.
- Computer_scientist wikiPageWikiLink Programming_language_theory.
- Computing wikiPageWikiLink Programming_language_theory.
- Curry–Howard_correspondence wikiPageWikiLink Programming_language_theory.
- Edsger_W._Dijkstra wikiPageWikiLink Programming_language_theory.
- Frank_Pfenning wikiPageWikiLink Programming_language_theory.
- High_Order_Language_Working_Group wikiPageWikiLink Programming_language_theory.
- Higher-Order_and_Symbolic_Computation wikiPageWikiLink Programming_language_theory.
- John_C._Mitchell wikiPageWikiLink Programming_language_theory.
- Kenneth_E._Iverson wikiPageWikiLink Programming_language_theory.
- Kleene_algebra wikiPageWikiLink Programming_language_theory.
- Lambda_calculus wikiPageWikiLink Programming_language_theory.
- Lazy_evaluation wikiPageWikiLink Programming_language_theory.
- List_of_Oregon_State_University_faculty_and_staff wikiPageWikiLink Programming_language_theory.
- List_of_pioneers_in_computer_science wikiPageWikiLink Programming_language_theory.
- List_of_programming_language_researchers wikiPageWikiLink Programming_language_theory.
- List_of_unsolved_problems_in_computer_science wikiPageWikiLink Programming_language_theory.
- Noam_Chomsky wikiPageWikiLink Programming_language_theory.
- Non-local_variable wikiPageWikiLink Programming_language_theory.
- Outline_of_computer_programming wikiPageWikiLink Programming_language_theory.
- Outline_of_computer_science wikiPageWikiLink Programming_language_theory.
- PLT wikiPageWikiLink Programming_language_theory.
- POPLmark_challenge wikiPageWikiLink Programming_language_theory.
- Parametricity wikiPageWikiLink Programming_language_theory.
- Parkinsons_law_of_triviality wikiPageWikiLink Programming_language_theory.
- Peter_Buneman wikiPageWikiLink Programming_language_theory.
- Programming_language wikiPageWikiLink Programming_language_theory.
- Programming_language_research wikiPageWikiLink Programming_language_theory.
- QED_manifesto wikiPageWikiLink Programming_language_theory.
- Qualification_principle wikiPageWikiLink Programming_language_theory.
- Racket_(programming_language) wikiPageWikiLink Programming_language_theory.
- Racket_features wikiPageWikiLink Programming_language_theory.
- Reference_type wikiPageWikiLink Programming_language_theory.
- Semantics_(computer_science) wikiPageWikiLink Programming_language_theory.
- Standard_ML wikiPageWikiLink Programming_language_theory.
- Subtyping wikiPageWikiLink Programming_language_theory.
- System_F-sub wikiPageWikiLink Programming_language_theory.
- Theoretical_computer_science wikiPageWikiLink Programming_language_theory.
- Theory_of_programming_languages wikiPageWikiLink Programming_language_theory.
- Timeline_of_United_States_inventions_(1890–1945) wikiPageWikiLink Programming_language_theory.
- Category:Programming_language_theory subject Programming_language_theory.
- Programming_language_theory primaryTopic Programming_language_theory.