Get the latest tech news

Lazier Binary Decision Diagrams for set-theoretic types

This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them

None

Get the Android app