Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Harry_Mairson> ?p ?o }
Showing triples 1 to 99 of
99
with 100 triples per page.
- Harry_Mairson abstract "Harry George Mairson is a theoretical computer scientist and Professor of Computer Science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.Mairson received a B.A. in Mathematics from Yale University in 1978 and a Ph.D. in Computer Science from Stanford University in 1984 under the supervision of Jeffrey Ullman. His Ph.D. thesis, The Program Complexity of Searching a Table, won the Machtey Award at the 1983 IEEE Symposium on Foundations of Computer Science (FOCS). Mairson was a Postdoctoral researcher at INRIA Rocqencourt from 1984 to 1985, at Stanford University in 1985, and at the University of Oxford in 1986. He held a Visiting Professor position from 1999 to 2001 at Boston University. From 2005 to 2007, Mairson has served as the Chair of the Faculty Senate at Brandeis. He is currently an Associate Editor of the journal Logical Methods in Computer Science and Information and Computation, and sits on the editorial board of Higher-Order and Symbolic Computation.Mairson's contributions to the theory of programming languages include proving that type inference for the ML programming language, so-called Hindley–Milner type inference, is complete for exponential time and that parallel beta reduction is non-elementary.".
- Harry_Mairson wikiPageExternalLink id.phtml?id=100754.
- Harry_Mairson wikiPageExternalLink volen.
- Harry_Mairson wikiPageExternalLink faculty.php?emplid=ea30cbe920c0b5d91ca520aa10359d76b79027dc.
- Harry_Mairson wikiPageExternalLink ~mairson.
- Harry_Mairson wikiPageExternalLink Mairson:Harry_G=.html.
- Harry_Mairson wikiPageID "9962621".
- Harry_Mairson wikiPageLength "3242".
- Harry_Mairson wikiPageOutDegree "40".
- Harry_Mairson wikiPageRevisionID "612552674".
- Harry_Mairson wikiPageWikiLink Algorithmics.
- Harry_Mairson wikiPageWikiLink Beta_reduction.
- Harry_Mairson wikiPageWikiLink Boston_University.
- Harry_Mairson wikiPageWikiLink Brandeis_University.
- Harry_Mairson wikiPageWikiLink Category:American_computer_scientists.
- Harry_Mairson wikiPageWikiLink Category:American_educators.
- Harry_Mairson wikiPageWikiLink Category:Brandeis_University_faculty.
- Harry_Mairson wikiPageWikiLink Category:Living_people.
- Harry_Mairson wikiPageWikiLink Category:Programming_language_researchers.
- Harry_Mairson wikiPageWikiLink Category:Stanford_University_alumni.
- Harry_Mairson wikiPageWikiLink Category:Theoretical_computer_scientists.
- Harry_Mairson wikiPageWikiLink Category:Yale_University_alumni.
- Harry_Mairson wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Harry_Mairson wikiPageWikiLink Computational_complexity_theory.
- Harry_Mairson wikiPageWikiLink Computer_Science.
- Harry_Mairson wikiPageWikiLink Computer_science.
- Harry_Mairson wikiPageWikiLink Constructive_mathematics.
- Harry_Mairson wikiPageWikiLink Constructivism_(mathematics).
- Harry_Mairson wikiPageWikiLink Exponential_time.
- Harry_Mairson wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- Harry_Mairson wikiPageWikiLink Functional_programming.
- Harry_Mairson wikiPageWikiLink Higher-Order_and_Symbolic_Computation.
- Harry_Mairson wikiPageWikiLink Hindley–Milner_type_inference.
- Harry_Mairson wikiPageWikiLink Hindley–Milner_type_system.
- Harry_Mairson wikiPageWikiLink INRIA.
- Harry_Mairson wikiPageWikiLink Information_and_Computation.
- Harry_Mairson wikiPageWikiLink Jeffrey_Ullman.
- Harry_Mairson wikiPageWikiLink Lambda_calculus.
- Harry_Mairson wikiPageWikiLink Logic_in_computer_science.
- Harry_Mairson wikiPageWikiLink Logical_Methods_in_Computer_Science.
- Harry_Mairson wikiPageWikiLink ML_(programming_language).
- Harry_Mairson wikiPageWikiLink Machtey_Award.
- Harry_Mairson wikiPageWikiLink Mathematics.
- Harry_Mairson wikiPageWikiLink NONELEMENTARY.
- Harry_Mairson wikiPageWikiLink Nonelementary_problem.
- Harry_Mairson wikiPageWikiLink Programming_language.
- Harry_Mairson wikiPageWikiLink Programming_languages.
- Harry_Mairson wikiPageWikiLink Stanford_University.
- Harry_Mairson wikiPageWikiLink Symposium_on_Foundations_of_Computer_Science.
- Harry_Mairson wikiPageWikiLink Time_complexity.
- Harry_Mairson wikiPageWikiLink Type_inference.
- Harry_Mairson wikiPageWikiLink Type_theory.
- Harry_Mairson wikiPageWikiLink University_of_Oxford.
- Harry_Mairson wikiPageWikiLink Waltham,_Massachusetts.
- Harry_Mairson wikiPageWikiLink Yale_University.
- Harry_Mairson wikiPageWikiLinkText "Harry Mairson".
- Harry_Mairson hasPhotoCollection Harry_Mairson.
- Harry_Mairson name "Mairson, Harry".
- Harry_Mairson shortDescription "American computer scientist".
- Harry_Mairson wikiPageUsesTemplate Template:Persondata.
- Harry_Mairson wikiPageUsesTemplate Template:Reflist.
- Harry_Mairson description "American computer scientist".
- Harry_Mairson description "American computer scientist".
- Harry_Mairson subject Category:American_computer_scientists.
- Harry_Mairson subject Category:American_educators.
- Harry_Mairson subject Category:Brandeis_University_faculty.
- Harry_Mairson subject Category:Living_people.
- Harry_Mairson subject Category:Programming_language_researchers.
- Harry_Mairson subject Category:Stanford_University_alumni.
- Harry_Mairson subject Category:Theoretical_computer_scientists.
- Harry_Mairson subject Category:Yale_University_alumni.
- Harry_Mairson subject Category:Year_of_birth_missing_(living_people).
- Harry_Mairson hypernym Scientist.
- Harry_Mairson type Agent.
- Harry_Mairson type List.
- Harry_Mairson type Person.
- Harry_Mairson type Scientist.
- Harry_Mairson type Educator.
- Harry_Mairson type List.
- Harry_Mairson type Occupation.
- Harry_Mairson type Scientist.
- Harry_Mairson type Person.
- Harry_Mairson type Agent.
- Harry_Mairson type NaturalPerson.
- Harry_Mairson type Thing.
- Harry_Mairson type Q215627.
- Harry_Mairson type Q5.
- Harry_Mairson type Person.
- Harry_Mairson comment "Harry George Mairson is a theoretical computer scientist and Professor of Computer Science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.Mairson received a B.A. in Mathematics from Yale University in 1978 and a Ph.D.".
- Harry_Mairson label "Harry Mairson".
- Harry_Mairson sameAs m.026jr12.
- Harry_Mairson sameAs Q5670862.
- Harry_Mairson sameAs Q5670862.
- Harry_Mairson wasDerivedFrom Harry_Mairson?oldid=612552674.
- Harry_Mairson givenName "Harry".
- Harry_Mairson isPrimaryTopicOf Harry_Mairson.
- Harry_Mairson name "Harry Mairson".
- Harry_Mairson name "Mairson, Harry".
- Harry_Mairson surname "Mairson".