• Comprehensive Haskell Sandboxes, Revisited (2015) https://web.archive.org/web/20230201014025/http:/www.edsko.net/2015/03/09/sandboxes-revisited/ 2 comments 29/8/2024

• falsify: Internal Shrinking Reimagined for Haskell http://www.edsko.net/pubs/falsify.pdf 3 comments 6/8/2023 haskell
• Linear and Uniqueness types for Haskell http://edsko.net/2017/01/08/linearity-in-haskell/ 17 comments 14/4/2018 programming
• New blog post: Linearity, Uniqueness, and Haskell http://edsko.net/2017/01/08/linearity-in-haskell/ 29 comments 11/1/2017 haskell
• Using ATOM editor for Haskell dev http://edsko.net/2015/03/07/vim-to-atom/ 11 comments 13/5/2015 haskell
• Copying Cabal sandboxes http://www.edsko.net/2015/03/09/sandboxes-revisited/ 16 comments 11/3/2015 haskell
• New blog post: Writing Atom plugins in Haskell using ghcjs http://edsko.net/2015/02/14/atom-haskell/ 5 comments 15/2/2015 haskell
• Comprehensive Haskell Sandboxes http://www.edsko.net/2013/02/10/comprehensive-haskell-sandboxes/ 6 comments 4/3/2013 haskell

• Uniqueness Typing Simplified http://www.edsko.net/pubs/ifl07-paper.pdf 7 comments 3/3/2008 Functional , Type Theory