Alejandro Russo will give a talk on the paper "Two Can Keep a Secret, If One of Them Uses Haskell" authored by him!
The paper presents a monadic API in Haskell which takes advantage of the type system to protect confidentiality of data. Since the API utilizes the type system of Haskell, it guarantees confidentially of data during compile time itself! It is very interesting to see how the information flow in the system is restricted even in the presence of computation with side-effects. You can read the paper online here: http://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf
We're very glad to have Alejandro give us a talk. Don't miss out! :)
About this event:
• This is a cross-meetup event, which we're doing along with the functional programming lovers at Got.Lambda (https://www.meetup.com/got-lambda/) (the Göteborg Functional programming group)!
• Starting at 18:00, there will be a 45 min talk followed by a discussion (ranging from 15 to 30 minutes) where Alejandro will take questions.
• As always, we expect you to read the paper before attending!
To know more about Papers We Love in Gothenburg, checkout our what-is (https://github.com/papers-we-love/gothenburg/blob/master/whatis.md).