Compile-time memory safety using Liquid Haskell #1 Post by timothyklim » Fri, Jan 01, 2016, 2:21 PM UTC Compile-time memory safety using Liquid Haskellhaskellforall.com