GitHub repository: robrix/abstract-interpretation
Primary language: Haskell
Created: 2017-08-11T22:02:27Z
Description: Experiments in abstracting definitional interpreters