SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
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
Research interests:Logic in computer science. Lambda calculus and functional programming

Contributions

Show activities from other conferences

SPLASH 2014-profile
View general profile