Bddl: A Type System for Binary Decision Diagrams.

Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo

Browse the full TAP paper archive.