Compile-time memory safety using Liquid Haskell Posted by timothyklim on Friday January 01, 2016 @09:21AM from the haskellforall.com dept. http://www.haskellforall.com/2015/12/compile-time-memory-safety-using-liquid.html ( no comments | 2 points | on HN )
There are no comments yet.