Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Harry Mairson

Not registered as user yet

Name: Harry Mairson

Bio: I have worked on various problems related to type systems for programming language, in particular, analyzing the computational resources needed for various kinds of optimizations (type inference, optimal reduction, intersection types and flow analysis, static analysis). This work has been motivated by many ideas from linear logic. More recently I am interested in developing a domain-specific programming language for string instrument design, where the language uses the same constructional vernacular found in the eighteenth-century methods, only with a more refined and specific computational interpretation. Webpage

Country: United States

Affiliation: Brandeis University

Personal website: http://www.cs.brandeis.edu/~mairson/

Research interests: Logic in computer science. Lambda calculus and functional programming

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile