DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Peter_Landin> ?p ?o }

• Peter_Landin abstract "Peter John Landin (5 June 1930, Sheffield – 3 June 2009) was a British computer scientist. He was one of the first to realize that the lambda calculus could be used to model a programming language, an insight that is essential to development of both functional programming and denotational semantics.".
• Peter_Landin birthDate "1930-06-05".
• Peter_Landin deathDate "2009-06-03".
• Peter_Landin knownFor ISWIM.
• Peter_Landin knownFor J_operator.
• Peter_Landin knownFor Off-side_rule.
• Peter_Landin knownFor SECD_machine.
• Peter_Landin nationality United_Kingdom.
• Peter_Landin wikiPageExternalLink pvs01.
• Peter_Landin wikiPageExternalLink 6638882.
• Peter_Landin wikiPageExternalLink 8955127.
• Peter_Landin wikiPageID "661085".
• Peter_Landin wikiPageLength "10613".
• Peter_Landin wikiPageOutDegree "80".
• Peter_Landin wikiPageRevisionID "703315416".
• Peter_Landin wikiPageWikiLink ALGOL.
• Peter_Landin wikiPageWikiLink ALGOL_60.
• Peter_Landin wikiPageWikiLink Alonzo_Church.
• Peter_Landin wikiPageWikiLink Association_for_Computing_Machinery.
• Peter_Landin wikiPageWikiLink Brighton.
• Peter_Landin wikiPageWikiLink British_Computer_Society.
• Peter_Landin wikiPageWikiLink Category:1930_births.
• Peter_Landin wikiPageWikiLink Category:2009_deaths.
• Peter_Landin wikiPageWikiLink Category:Academics_of_Queen_Mary_University_of_London.
• Peter_Landin wikiPageWikiLink Category:Alumni_of_Clare_College,_Cambridge.
• Peter_Landin wikiPageWikiLink Category:Bisexual_men.
• Peter_Landin wikiPageWikiLink Category:British_anti–nuclear_weapons_activists.
• Peter_Landin wikiPageWikiLink Category:English_computer_scientists.
• Peter_Landin wikiPageWikiLink Category:Formal_methods_people.
• Peter_Landin wikiPageWikiLink Category:LGBT_people_from_England.
• Peter_Landin wikiPageWikiLink Category:LGBT_rights_activists_from_England.
• Peter_Landin wikiPageWikiLink Category:LGBT_scientists.
• Peter_Landin wikiPageWikiLink Category:LGBT_scientists_from_the_United_Kingdom.
• Peter_Landin wikiPageWikiLink Category:Massachusetts_Institute_of_Technology_faculty.
• Peter_Landin wikiPageWikiLink Category:People_educated_at_King_Edward_VII_School,_Sheffield.
• Peter_Landin wikiPageWikiLink Category:People_from_Sheffield.
• Peter_Landin wikiPageWikiLink Category:Programming_language_researchers.
• Peter_Landin wikiPageWikiLink Christopher_Strachey.
• Peter_Landin wikiPageWikiLink Clare_College,_Cambridge.
• Peter_Landin wikiPageWikiLink Communications_of_the_ACM.
• Peter_Landin wikiPageWikiLink Computer_Conservation_Society.
• Peter_Landin wikiPageWikiLink Computer_scientist.
• Peter_Landin wikiPageWikiLink Denotational_semantics.
• Peter_Landin wikiPageWikiLink Edsger_W._Dijkstra.
• Peter_Landin wikiPageWikiLink England.
• Peter_Landin wikiPageWikiLink F_Sharp_(programming_language).
• Peter_Landin wikiPageWikiLink Formal_Aspects_of_Computing.
• Peter_Landin wikiPageWikiLink Fortran.
• Peter_Landin wikiPageWikiLink Functional_programming.
• Peter_Landin wikiPageWikiLink Gay_Liberation_Front.
• Peter_Landin wikiPageWikiLink Haskell_(programming_language).
• Peter_Landin wikiPageWikiLink Higher-Order_and_Symbolic_Computation.
• Peter_Landin wikiPageWikiLink ISWIM.
• Peter_Landin wikiPageWikiLink International_Conference_on_Functional_Programming.
• Peter_Landin wikiPageWikiLink J_operator.
• Peter_Landin wikiPageWikiLink John_McCarthy_(computer_scientist).
• Peter_Landin wikiPageWikiLink Journal_of_the_ACM.
• Peter_Landin wikiPageWikiLink King_Edward_VII_School,_Sheffield.
• Peter_Landin wikiPageWikiLink Lambda_calculus.
• Peter_Landin wikiPageWikiLink Lisp_(programming_language).
• Peter_Landin wikiPageWikiLink London.
• Peter_Landin wikiPageWikiLink Massachusetts_Institute_of_Technology.
• Peter_Landin wikiPageWikiLink Miranda_(programming_language).
• Peter_Landin wikiPageWikiLink Off-side_rule.
• Peter_Landin wikiPageWikiLink Olivier_Danvy.
• Peter_Landin wikiPageWikiLink Peter_Naur.
• Peter_Landin wikiPageWikiLink Python_(programming_language).
• Peter_Landin wikiPageWikiLink Queen_Mary_University_of_London.
• Peter_Landin wikiPageWikiLink Quicksort.
• Peter_Landin wikiPageWikiLink SECD_machine.
• Peter_Landin wikiPageWikiLink Science_Museum,_London.
• Peter_Landin wikiPageWikiLink Semantics_(computer_science).
• Peter_Landin wikiPageWikiLink Sheffield.
• Peter_Landin wikiPageWikiLink Syntactic_sugar.
• Peter_Landin wikiPageWikiLink The_Computer_Journal.
• Peter_Landin wikiPageWikiLink The_Guardian.
• Peter_Landin wikiPageWikiLink Tony_Hoare.
• Peter_Landin wikiPageWikiLink UNIVAC.
• Peter_Landin wikiPageWikiLink United_Kingdom.
• Peter_Landin wikiPageWikiLink United_States.
• Peter_Landin wikiPageWikiLink University_of_Cambridge.
• Peter_Landin wikiPageWikiLink Virtual_machine.
• Peter_Landin wikiPageWikiLinkText "Landin, Peter".
• Peter_Landin wikiPageWikiLinkText "Peter Landin".
• Peter_Landin birthDate "1930-06-05".
• Peter_Landin date "20070926235118".
• Peter_Landin deathDate "2009-06-03".
• Peter_Landin df "yes".
• Peter_Landin knownFor ISWIM.
• Peter_Landin knownFor J_operator.
• Peter_Landin knownFor Off-side_rule.
• Peter_Landin knownFor SECD_machine.
• Peter_Landin name "Peter Landin".
• Peter_Landin nationality "British".
• Peter_Landin title "Program Verification and Semantics: The Early Work".
• Peter_Landin url pvs01.
• Peter_Landin wikiPageUsesTemplate Template:AcademicSearch.
• Peter_Landin wikiPageUsesTemplate Template:Birth_date.
• Peter_Landin wikiPageUsesTemplate Template:Citation_needed.
• Peter_Landin wikiPageUsesTemplate Template:Cite_journal.

• next