- Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version) https://arxiv.org/abs/2211.03450 7 comments java
- recover-rtti: "The main function in this package is classify, which looks at the GHC heap to recover type information about arbitrary values. This makes it possible for example to show any value (function anythingToString) without having any Show instance in scope" https://hackage.haskell.org/package/recover-rtti 9 comments haskell