Bddl: A Type System for Binary Decision Diagrams. - Yousra Lembachar; Ryan Rusich; Iulian Neamtiu; Gianfranco Ciardo (TAP@STAF, 2022)