Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- demonstrationSeptember 2014
Demo proposal: making web applications -XSafe
Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on HaskellPage 91https://doi.org/10.1145/2633357.2633373Simple 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. ...
Also Published in:
ACM SIGPLAN Notices: Volume 49 Issue 12 - demonstrationSeptember 2014
Building secure systems with LIO (demo)
Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on HaskellPages 93–94https://doi.org/10.1145/2633357.2633371LIO is a decentralized information flow control (DIFC) system, implemented in Haskell. In this demo proposal, we give an overview of the LIO library and show how LIO can be used to build secure systems. In particular, we show how to specify high-level ...
Also Published in:
ACM SIGPLAN Notices: Volume 49 Issue 12