Planet.haskell.org

Planet Haskell. “Algebraic Effects Meet Hoare Logic in Cubical Agda”, by

Today's Planet.haskell.org headlines: Observe fresh posts and updates on Planet Haskell. This site’s feed is stale or rarely updated (or it might be broken for a reason), but you may check related news or Planet.haskell.org popular pages instead. It is generally safe for browsing, so you may click any item to proceed to the site.

News, stories and media buzz related to Planet Haskell

Subscribe to related news

archivers/hs-zlib-enum - 0.2.3.1_2
via freshports

- Update The Glorious Glasgow Haskell Compiler to version 7.10.2 - Include a patch for addressing timer issues [1] - Add support for building both GHC and Haskell ports with Clang, either from ports or the base system - Discontinue supporting Haskell...

Planet.haskell.org popular pages

Planet Haskell

Planet Haskell New paper: “Algebraic Effects Meet Hoare Logic in Cubical Agda”, by myself, Zhixuan Yang, and Nicolas Wu, will be published at POPL 2024. Zhixuan has a nice summary of it here. The prep...
Planet Haskell

Strata San Jose 2017 I'm excited for Strata San Jose this week. I'll be giving two talks, on Wednesday Spark Structured Streaming for ML with Seth and on Thursday Debugging Apache Spark with Joey :) I...

Planet Haskell

https://doisinkidney.com/posts/2024-11-07-algebraic-free-monads.html https://doisinkidney.com/posts/2024-11-07-algebraic-free-monads.html <div class="info"> Posted on November 7, 2024 </div> <d...