"Relational logics for higher-order effectful programs"
It is the first time the Haskell Foundation decides to create a Board of Directors
Manuel Hermenegildo, has been appointed for a second three-year term as Chairman of the Scientific Board of INRIA, the French National Institute for Research in Computer Science and Automation
"Multi-Key Homomorphic Authenticators" is the long version of a paper they first published in 2016
