Introduce Scala Native IR (Nir) Code Generator for Dotty g github.com 3 timothyklim 10 years ago 0 comments
Stack traces in GHCi, coming in GHC 8.0.1 s simonmar.github.io 150 timothyklim 10 years ago 2 comments
Compile-time memory safety using Liquid Haskell h haskellforall.com 2 timothyklim 11 years ago 0 comments