Compile-time memory safety using Liquid Haskell(haskellforall.com)2 points by timothyklim 10 years ago | 0 commentsNo comments yet