Edward Amsden[CV] [GitHub] [Twitter] [LinkedIn] [Email]
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.
- Toward Type-Directed Editing for Idris. Edward Amsden, Ryan Newton, Jeremy Siek. Submitted to ICFP'14. 2014.
- Push-Pull Signal-Function Functional Reactive Programming. Edward Amsden. Master's Thesis. 2013.
- Fairness for Transactional Events. Edward Amsden, Matthew Fluet. IFL '11. 2011.