The latest version of seclib is 1.1.0.3-0.
seclib
Version 1.0.0.0 revision 0 uploaded by AlejandroRusso.
Package meta
- Synopsis
- A simple library for static information-flow security in Haskell
- Description
The library is based on the paper A Library for Light-weight Information-Flow Security in Haskell by Alejandro Russo, Koen Claessen and John Hughes. In Proceedings of the ACM SIGPLAN 2008 Haskell Symposium, Victoria, British Columbia, Canada, September 2008. http://www.cse.chalmers.se/~russo/publications_files/haskell22Ext-russo.pdf
- Author
- Alejandro Russo
- Bug reports
- n/a
- Category
- Security
- Copyright
- Copyright: (c) 2008 ~ 2014 Alejandro Russo, Koen Claessen, John Hughes
- Homepage
- n/a
- Maintainer
- russo@chalmers.se
- Package URL
- n/a
- Stability
- n/a