Proving Properties about Lists Using Containers.

Rawle C. S. Prince, Neil Ghani, Conor McBride

Browse the full FLOPS paper archive.