Typed Programming Analysis without Encodings (2024) [pdf]github.com/barry-jay-personal1 pointsargstuffa year ago