Ghosts of Departed Proofs (Functional Pearls) - IOHK Research - discu.eu

Lobsters

Ghosts of Departed Proofs (2018) https://iohk.io/en/research/library/papers/ghosts-of-departed-proofs-functional-pearls/ 3 comments 20/11/2024 haskell , pdf

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:iohk.io

Search title: Ghosts of Departed Proofs (Functional Pearls) - IOHK Research

See how to search.

Submit link to: