Abstract Interpretation as a Programming Language (2013)

68 points | by Hirrolot 4 days ago

7 comments