kirancodes.me
To Proof Maintenance & Beyond!

Demo proposal: making web applications -XSafe

Amit A. Levy, David Terei, Deian Stefan, David Mazières

Abstract

Simple is a web framework for Haskell. Simple came out of our work on Hails, a platform for secure web applications. For Hails, we needed a flexible web framework that uses no unsafe language features and can be used to build apps outside the IO monad. Unlike many mainstream web frameworks, Simple does not enforce a particular structure or paradigm. Instead, it simply provides a set of composable building blocks to help developers structure and organize their web applications.

DOI 10.1145/2633357.2633373

Related papers