Edward Amsden

[CV] [GitHub] [Twitter] [LinkedIn] [Email] [Blog]

I am interested in programming languages and tools for the creation and maintenance of interactive software. In particular, I focus on strongly- and statically- typed functional languages such as Haskell and Idris. I am particularly interested in techniques for writing interactive programs in a functional style, such as Functional Reactive Programming, and software tools and programming environments which leverage the wealth of information about programs provided by strongly- and statically- typed functional languages. I am also interested in implementation strategies which make functional languages amenable to interactive applications.