A Fully Verified Container Library.

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia

Browse the full FM paper archive.