Claes Wallin ❌ (liaison acct)Are you super smart, love lambdas and probably have a bunch of academic merits under your belt and want to be in a room* with people who would rival that? Like *the* Philip Wadler?
https://www.mail-archive.com/types-announce@lists.seas.upenn.edu/msg06926.html
> IOHK is one of the leading cryptocurrency firms. Much of its software is implemented in Haskell. All work is open source and publication is encouraged.
IOHK works on Cardano/ADA and its contract language Plutus.
* Not an actual room, which is one of the perks.
All Chirp! content and data are available under the