Proving Properties about Lists Using Containers.

Rawle C. S. Prince Neil Ghani Conor McBride

Published in: FLOPS (2008)

Keyphrases

key properties
structural properties
computational complexity
desirable properties
multimedia
high level
wide range
natural language
relational databases