Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Programming_language_theory> ?p ?o }
- Programming_language_theory abstract "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. It is a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications.".
- Programming_language_theory thumbnail Lambda_lc.svg?width=300.
- Programming_language_theory wikiPageExternalLink Purpose.
- Programming_language_theory wikiPageExternalLink plgrand.blogspot.com.
- Programming_language_theory wikiPageExternalLink lambda_calculus_timeline.pdf.
- Programming_language_theory wikiPageExternalLink cl.html.
- Programming_language_theory wikiPageExternalLink GreatWorksInPL.shtml.
- Programming_language_theory wikiPageExternalLink sf.
- Programming_language_theory wikiPageExternalLink main.html.
- Programming_language_theory wikiPageExternalLink language-research.html.
- Programming_language_theory wikiPageExternalLink 819-f09.
- Programming_language_theory wikiPageExternalLink book.pdf.
- Programming_language_theory wikiPageExternalLink ProgrammingLanguageTheoryTextsOnline.
- Programming_language_theory wikiPageExternalLink algol.html.
- Programming_language_theory wikiPageID "3882218".
- Programming_language_theory wikiPageLength "14751".
- Programming_language_theory wikiPageOutDegree "161".
- Programming_language_theory wikiPageRevisionID "679449336".
- Programming_language_theory wikiPageWikiLink ACM_Transactions_on_Programming_Languages_and_Systems.
- Programming_language_theory wikiPageWikiLink ACM_Turing_Award.
- Programming_language_theory wikiPageWikiLink ALGOL_58.
- Programming_language_theory wikiPageWikiLink Academic_journal.
- Programming_language_theory wikiPageWikiLink Actor_model.
- Programming_language_theory wikiPageWikiLink Ad_hoc_polymorphism.
- Programming_language_theory wikiPageWikiLink Alan_Kay.
- Programming_language_theory wikiPageWikiLink Alonzo_Church.
- Programming_language_theory wikiPageWikiLink Axiomatic_semantics.
- Programming_language_theory wikiPageWikiLink Benjamin_C._Pierce.
- Programming_language_theory wikiPageWikiLink Bertrand_Meyer.
- Programming_language_theory wikiPageWikiLink C._A._R._Hoare.
- Programming_language_theory wikiPageWikiLink CUCH.
- Programming_language_theory wikiPageWikiLink Calculus_of_Communicating_Systems.
- Programming_language_theory wikiPageWikiLink Calculus_of_communicating_systems.
- Programming_language_theory wikiPageWikiLink Carl_Gunter_(computer_scintist).
- Programming_language_theory wikiPageWikiLink Carl_Hewitt.
- Programming_language_theory wikiPageWikiLink Carnegie_Mellon_University.
- Programming_language_theory wikiPageWikiLink Category:Programming_language_theory.
- Programming_language_theory wikiPageWikiLink Category_theory.
- Programming_language_theory wikiPageWikiLink Chomsky_hierarchy.
- Programming_language_theory wikiPageWikiLink Christopher_Strachey.
- Programming_language_theory wikiPageWikiLink Code_generation_(compiler).
- Programming_language_theory wikiPageWikiLink Communicating_sequential_processes.
- Programming_language_theory wikiPageWikiLink Compiler.
- Programming_language_theory wikiPageWikiLink Compiler_optimization.
- Programming_language_theory wikiPageWikiLink Computability_theory.
- Programming_language_theory wikiPageWikiLink Computer_programming.
- Programming_language_theory wikiPageWikiLink Computer_science.
- Programming_language_theory wikiPageWikiLink Conference_on_Programming_Language_Design_and_Implementation.
- Programming_language_theory wikiPageWikiLink Continuation.
- Programming_language_theory wikiPageWikiLink Coroutine.
- Programming_language_theory wikiPageWikiLink Corrado_Böhm.
- Programming_language_theory wikiPageWikiLink Curry–Howard_correspondence.
- Programming_language_theory wikiPageWikiLink Dana_S._Scott.
- Programming_language_theory wikiPageWikiLink Dana_Scott.
- Programming_language_theory wikiPageWikiLink Daniel_G._Bobrow.
- Programming_language_theory wikiPageWikiLink Denotational_semantics.
- Programming_language_theory wikiPageWikiLink Design_by_contract.
- Programming_language_theory wikiPageWikiLink Domain-specific_language.
- Programming_language_theory wikiPageWikiLink Donald_Knuth.
- Programming_language_theory wikiPageWikiLink Eiffel_(programming_language).
- Programming_language_theory wikiPageWikiLink Eugenio_Moggi.
- Programming_language_theory wikiPageWikiLink Foreign_function_interface.
- Programming_language_theory wikiPageWikiLink Fortran.
- Programming_language_theory wikiPageWikiLink Function-level_programming.
- Programming_language_theory wikiPageWikiLink Functional_programming.
- Programming_language_theory wikiPageWikiLink Functional_programming_language.
- Programming_language_theory wikiPageWikiLink Fundamental_Concepts_in_Programming_Languages.
- Programming_language_theory wikiPageWikiLink Garbage_collection_(computer_science).
- Programming_language_theory wikiPageWikiLink Gilles_Kahn.
- Programming_language_theory wikiPageWikiLink Gordon_Plotkin.
- Programming_language_theory wikiPageWikiLink Gregor_Kiczales.
- Programming_language_theory wikiPageWikiLink Haskell_(programming_language).
- Programming_language_theory wikiPageWikiLink Higher-Order_and_Symbolic_Computation.
- Programming_language_theory wikiPageWikiLink Hindley–Milner.
- Programming_language_theory wikiPageWikiLink Hindley–Milner_type_inference_algorithm.
- Programming_language_theory wikiPageWikiLink Hindley–Milner_type_system.
- Programming_language_theory wikiPageWikiLink Hoare_logic.
- Programming_language_theory wikiPageWikiLink IBM.
- Programming_language_theory wikiPageWikiLink ISWIM.
- Programming_language_theory wikiPageWikiLink Instruction_set.
- Programming_language_theory wikiPageWikiLink International_Conference_on_Functional_Programming.
- Programming_language_theory wikiPageWikiLink Intuitionism.
- Programming_language_theory wikiPageWikiLink Intuitionistic.
- Programming_language_theory wikiPageWikiLink J._Roger_Hindley.
- Programming_language_theory wikiPageWikiLink J_operator.
- Programming_language_theory wikiPageWikiLink Jean-Yves_Girard.
- Programming_language_theory wikiPageWikiLink John_Backus.
- Programming_language_theory wikiPageWikiLink John_C._Mitchell.
- Programming_language_theory wikiPageWikiLink John_C._Reynolds.
- Programming_language_theory wikiPageWikiLink John_McCarthy_(computer_scientist).
- Programming_language_theory wikiPageWikiLink Journal_of_Functional_Programming.
- Programming_language_theory wikiPageWikiLink Journal_of_Functional_and_Logic_Programming.
- Programming_language_theory wikiPageWikiLink Karl_Crary.
- Programming_language_theory wikiPageWikiLink Konrad_Zuse.
- Programming_language_theory wikiPageWikiLink Kristen_Nygaard.
- Programming_language_theory wikiPageWikiLink Lambda_calculus.
- Programming_language_theory wikiPageWikiLink Lexical_scoping.
- Programming_language_theory wikiPageWikiLink Linguistics.
- Programming_language_theory wikiPageWikiLink Lisp_(programming_language).
- Programming_language_theory wikiPageWikiLink Lisp_programming_language.