A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.
Home Page:https://hackage.haskell.org/package/kuifje
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool