In the Age of Web Typed Functional-First Programming Revisited

This paper has been published in the Post-proceedings of ML 2014 and so it is no longer a draft. This page has been moved to published papers section.