My FLOPS 2022 keynote talk: “Adventures in Building Reliable Distributed Systems with Liquid Haskell” - decomposition ∘ al - discu.eu

Reddit

Adventures in Building Reliable Distributed Systems with Liquid Haskell https://decomposition.al/blog/2022/07/20/my-flops-2022-keynote-talk-adventures-in-building-reliable-distributed-systems-with-liquid-haskell/ 4 comments 21/7/2022 haskell

Linking pages

Issue #136 - by Shekhar - Distributed Systems Newsletter https://distributedsystems.substack.com/p/issue-136 0 comments

Linked pages

https://ucsd-progsys.github.io/liquidhaskell-blog/ 59 comments

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

Related searches:

Search whole site: site:decomposition.al

Search title: My FLOPS 2022 keynote talk: “Adventures in Building Reliable Distributed Systems with Liquid Haskell” - decomposition ∘ al

See how to search.

Submit link to: