Dynamic (no compilation), bounded recursive. - View it on GitHub