SecureHaskell编程

安全Haskell编程

我们开发了一个用于安全信息流实用编程的库。这意味着类型系统可以帮助您跟踪程序的哪些人、哪些内容以及何时可以访问某些信息。在这个项目中，您将在Haskell中构建一个利用这个库的大型应用程序。您的应用程序将处理敏感信息，如密码、电子邮件、私人数据等，还将与环境交互，如在web上获取信息、允许外部插件等。

背景：AFP，数据结构。人数：1。联系人：亚历杭德罗·科恩