On the topic of suggestions for future work, and discussion of time complexity proofs, would any of the techniques presented here [1] be useful? As far as I und

On the topic of suggestions for future work, and discussion of time complexity proofs, would any of the techniques presented here [1] be useful? As far as I understand their techniques would be quite applicable (and similar to what you've already looked at) e.g. a comparison counting monad etc. [1] http://dl.acm.org/citation.cfm?id=1573604 http://dl.acm.org/citation.cfm?id=1573604 also available at [2] [2] http://www.cs.ru.nl/~james/2008-TYPES/final.pdf http://www.cs.ru.nl/~james/2008-TYPES/final.pdf