Modular, higher-order cardinality analysis in theory and practice.

Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones

Browse the full POPL paper archive.