4 ms·
This reminds me of a paper by Alejandro Russo "Functional Pearl: Two Can Keep a Secret, If One of Them Uses Haskell" [1]. [1]: https://www.cse.chalmers.se/~rus
by tophattom 5y ago
This reminds me of a paper by Alejandro Russo "Functional Pearl: Two Can Keep a Secret, If One of Them Uses Haskell" [1].
[1]: https://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf https://www.cse.chalmers.se/~russo/publications_files/pearl-...