Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Programming_language_theory> ?p ?o }
- Programming_language_theory wikiPageWikiLink Logic_programming.
- Programming_language_theory wikiPageWikiLink Luca_Cardelli.
- Programming_language_theory wikiPageWikiLink MIT.
- Programming_language_theory wikiPageWikiLink ML_(programming_language).
- Programming_language_theory wikiPageWikiLink ML_programming_language.
- Programming_language_theory wikiPageWikiLink Mark_Leone.
- Programming_language_theory wikiPageWikiLink Martín_Abadi.
- Programming_language_theory wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Programming_language_theory wikiPageWikiLink Mathematics.
- Programming_language_theory wikiPageWikiLink Metaprogramming.
- Programming_language_theory wikiPageWikiLink Michael_J._C._Gordon.
- Programming_language_theory wikiPageWikiLink Miranda_(programming_language).
- Programming_language_theory wikiPageWikiLink Model_of_computation.
- Programming_language_theory wikiPageWikiLink Monad_(functional_programming).
- Programming_language_theory wikiPageWikiLink Monads_in_functional_programming.
- Programming_language_theory wikiPageWikiLink Natural_deduction.
- Programming_language_theory wikiPageWikiLink Natural_semantics.
- Programming_language_theory wikiPageWikiLink Noam_Chomsky.
- Programming_language_theory wikiPageWikiLink OOPSLA.
- Programming_language_theory wikiPageWikiLink Object-oriented_programming.
- Programming_language_theory wikiPageWikiLink Object-oriented_programming_language.
- Programming_language_theory wikiPageWikiLink Ole-Johan_Dahl.
- Programming_language_theory wikiPageWikiLink Operational_semantics.
- Programming_language_theory wikiPageWikiLink Optimizing_compiler.
- Programming_language_theory wikiPageWikiLink PARC_(company).
- Programming_language_theory wikiPageWikiLink POPL.
- Programming_language_theory wikiPageWikiLink Parametric_polymorphism.
- Programming_language_theory wikiPageWikiLink Parsing.
- Programming_language_theory wikiPageWikiLink Peter._W._OHearn.
- Programming_language_theory wikiPageWikiLink Peter_Landin.
- Programming_language_theory wikiPageWikiLink Peter_OHearn.
- Programming_language_theory wikiPageWikiLink Philip_Wadler.
- Programming_language_theory wikiPageWikiLink Plankalkül.
- Programming_language_theory wikiPageWikiLink Process_calculus.
- Programming_language_theory wikiPageWikiLink Programming_Computable_Functions.
- Programming_language_theory wikiPageWikiLink Programming_Language_Design_and_Implementation.
- Programming_language_theory wikiPageWikiLink Programming_language.
- Programming_language_theory wikiPageWikiLink Programming_paradigm.
- Programming_language_theory wikiPageWikiLink Prolog.
- Programming_language_theory wikiPageWikiLink Proof_calculus.
- Programming_language_theory wikiPageWikiLink Robert._D._Tennent.
- Programming_language_theory wikiPageWikiLink Robert_Harper_(computer_scientist).
- Programming_language_theory wikiPageWikiLink Robin_Milner.
- Programming_language_theory wikiPageWikiLink Run-time_system.
- Programming_language_theory wikiPageWikiLink Runtime_environment.
- Programming_language_theory wikiPageWikiLink Runtime_system.
- Programming_language_theory wikiPageWikiLink SECD_machine.
- Programming_language_theory wikiPageWikiLink SIGPLAN.
- Programming_language_theory wikiPageWikiLink Scheme_(programming_language).
- Programming_language_theory wikiPageWikiLink Scope_(computer_science).
- Programming_language_theory wikiPageWikiLink Set_theory.
- Programming_language_theory wikiPageWikiLink Simula.
- Programming_language_theory wikiPageWikiLink Smalltalk.
- Programming_language_theory wikiPageWikiLink Software_bug.
- Programming_language_theory wikiPageWikiLink Software_engineering.
- Programming_language_theory wikiPageWikiLink Stephen_Cole_Kleene.
- Programming_language_theory wikiPageWikiLink Structured_operational_semantics.
- Programming_language_theory wikiPageWikiLink Symposium_on_Principles_of_Programming_Languages.
- Programming_language_theory wikiPageWikiLink System_F.
- Programming_language_theory wikiPageWikiLink The_Art_of_the_Metaobject_Protocol.
- Programming_language_theory wikiPageWikiLink Timeline_of_programming_languages.
- Programming_language_theory wikiPageWikiLink Tony_Hoare.
- Programming_language_theory wikiPageWikiLink Turing_Award.
- Programming_language_theory wikiPageWikiLink Type_inference.
- Programming_language_theory wikiPageWikiLink Type_system.
- Programming_language_theory wikiPageWikiLink Type_theory.
- Programming_language_theory wikiPageWikiLink University_of_Pennsylvania.
- Programming_language_theory wikiPageWikiLink Utrecht_University.
- Programming_language_theory wikiPageWikiLink Value_(computer_science).
- Programming_language_theory wikiPageWikiLink Very_high-level_programming_language.
- Programming_language_theory wikiPageWikiLink Virtual_machine.
- Programming_language_theory wikiPageWikiLink Wikt:scan.
- Programming_language_theory wikiPageWikiLink William_Alvin_Howard.
- Programming_language_theory wikiPageWikiLink Xerox_PARC.
- Programming_language_theory wikiPageWikiLink File:Lambda_lc.svg.
- Programming_language_theory wikiPageWikiLinkText "Programming language theory".
- Programming_language_theory wikiPageWikiLinkText "Programming languages".
- Programming_language_theory wikiPageWikiLinkText "language research".
- Programming_language_theory wikiPageWikiLinkText "programming language design".
- Programming_language_theory wikiPageWikiLinkText "programming language theory".
- Programming_language_theory wikiPageWikiLinkText "programming language".
- Programming_language_theory wikiPageWikiLinkText "programming languages".
- Programming_language_theory wikiPageWikiLinkText "theory of programming languages".
- Programming_language_theory date "December 2013".
- Programming_language_theory hasPhotoCollection Programming_language_theory.
- Programming_language_theory time "2013-12-28".
- Programming_language_theory wikiPageUsesTemplate Template:Main.
- Programming_language_theory wikiPageUsesTemplate Template:More_footnotes.
- Programming_language_theory wikiPageUsesTemplate Template:Reflist.
- Programming_language_theory wikiPageUsesTemplate Template:See_also.
- Programming_language_theory subject Category:Programming_language_theory.
- Programming_language_theory hypernym Branch.
- Programming_language_theory type Area.
- Programming_language_theory type Organisation.
- Programming_language_theory type Area.
- Programming_language_theory type Thing.
- Programming_language_theory type Concept.
- Programming_language_theory comment "Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering and linguistics.".
- Programming_language_theory label "Programming language theory".
- Programming_language_theory seeAlso Programming_language.