Building a Compiler for the Tax Code

I. Introduction: by way of background

(A) The formation and interpretation of the tax law.

(B) Lambda calculus, predicate calculus, SKI combinator calculus

(C) Linguistics, Beta-Normality, and grammatical parsing

(D) Lisp, Haskell, & other Turing Machines

II. Implementation: meet Ibis

III. Policy Discussion: what does this mean for taxpayers and the service?