Documentation of Oblivious Algebraic Data Types

• Development version (master branch)
• Core calculus of pure OADT: λOADT (pure branch)
• Core calculus of OADT with tape: λOADT✚ (tape branch)
• Core calculus of Taypsi: λOADTΨ (taypsi branch)