Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Don_Sannella> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples per page.
- Don_Sannella abstract "Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. He graduated from Yale University with a degree in Computer Science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. He is editor-in-chiefof the journal Theoretical Computer Science.".
- Don_Sannella wikiPageExternalLink dts.
- Don_Sannella wikiPageExternalLink SannellaDT.html.
- Don_Sannella wikiPageExternalLink Donald_Sannella.html.
- Don_Sannella wikiPageID "2818080".
- Don_Sannella wikiPageLength "1635".
- Don_Sannella wikiPageOutDegree "23".
- Don_Sannella wikiPageRevisionID "663733698".
- Don_Sannella wikiPageWikiLink Algebraic_specification.
- Don_Sannella wikiPageWikiLink Category:Academic_journal_editors.
- Don_Sannella wikiPageWikiLink Category:Academics_of_the_University_of_Edinburgh.
- Don_Sannella wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Don_Sannella wikiPageWikiLink Category:British_computer_scientists.
- Don_Sannella wikiPageWikiLink Category:Formal_methods_people.
- Don_Sannella wikiPageWikiLink Category:Living_people.
- Don_Sannella wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Don_Sannella wikiPageWikiLink Computer_science.
- Don_Sannella wikiPageWikiLink Data_type.
- Don_Sannella wikiPageWikiLink Datatype.
- Don_Sannella wikiPageWikiLink Formal_methods.
- Don_Sannella wikiPageWikiLink Functional_programming.
- Don_Sannella wikiPageWikiLink Laboratory_for_Foundations_of_Computer_Science.
- Don_Sannella wikiPageWikiLink Mobile_code.
- Don_Sannella wikiPageWikiLink Modular_system.
- Don_Sannella wikiPageWikiLink Professor.
- Don_Sannella wikiPageWikiLink Resource_certification.
- Don_Sannella wikiPageWikiLink Scotland.
- Don_Sannella wikiPageWikiLink Software_development.
- Don_Sannella wikiPageWikiLink Theoretical_Computer_Science_(journal).
- Don_Sannella wikiPageWikiLink University_of_Edinburgh.
- Don_Sannella wikiPageWikiLink University_of_Edinburgh_School_of_Informatics.
- Don_Sannella wikiPageWikiLink Yale_University.
- Don_Sannella wikiPageWikiLinkText "D. Sannella".
- Don_Sannella wikiPageWikiLinkText "Don Sannella".
- Don_Sannella hasPhotoCollection Don_Sannella.
- Don_Sannella name "Sannella, Don".
- Don_Sannella shortDescription "British computer scientist".
- Don_Sannella wikiPageUsesTemplate Template:Persondata.
- Don_Sannella wikiPageUsesTemplate Template:UK-compu-bio-stub.
- Don_Sannella wikiPageUsesTemplate Template:UK-scientist-stub.
- Don_Sannella description "British computer scientist".
- Don_Sannella description "British computer scientist".
- Don_Sannella subject Category:Academic_journal_editors.
- Don_Sannella subject Category:Academics_of_the_University_of_Edinburgh.
- Don_Sannella subject Category:Alumni_of_the_University_of_Edinburgh.
- Don_Sannella subject Category:British_computer_scientists.
- Don_Sannella subject Category:Formal_methods_people.
- Don_Sannella subject Category:Living_people.
- Don_Sannella subject Category:Year_of_birth_missing_(living_people).
- Don_Sannella hypernym Professor.
- Don_Sannella type Agent.
- Don_Sannella type List.
- Don_Sannella type Person.
- Don_Sannella type Scientist.
- Don_Sannella type Editor.
- Don_Sannella type Educator.
- Don_Sannella type List.
- Don_Sannella type Member.
- Don_Sannella type Method.
- Don_Sannella type Scientist.
- Don_Sannella type Person.
- Don_Sannella type Agent.
- Don_Sannella type NaturalPerson.
- Don_Sannella type Thing.
- Don_Sannella type Q215627.
- Don_Sannella type Q5.
- Don_Sannella type Person.
- Don_Sannella comment "Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. He graduated from Yale University with a degree in Computer Science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. He is editor-in-chiefof the journal Theoretical Computer Science.".
- Don_Sannella label "Don Sannella".
- Don_Sannella sameAs Don_Sannella.
- Don_Sannella sameAs m.084mks.
- Don_Sannella sameAs Q5293472.
- Don_Sannella sameAs Q5293472.
- Don_Sannella wasDerivedFrom Don_Sannella?oldid=663733698.
- Don_Sannella givenName "Don".
- Don_Sannella homepage Donald_Sannella.html.
- Don_Sannella isPrimaryTopicOf Don_Sannella.
- Don_Sannella name "Don Sannella".
- Don_Sannella name "Sannella, Don".
- Don_Sannella surname "Sannella".