Let me get you up to speed with my research projects over the past year.
You can read more about my projects here and here and about WoofJS here.
You can find more notes about this episode at http://futureofcoding.org/episodes/2-research-recap.html
Future of Coding
Propositions as Types by Philip Wadler
A Small Matter of Programming by Bonnie Nardi