[Haskell-cafe] Runtime strictness analysis for polymorphic HOFs?

[Stefan Holdermans]

Ryan,

> Also, partial application + seq throws a wrench in things: [...]

You're absolutely right. I did not take into account the effects of  
seq in my previous post. However, this is exactly the subject of a  
paper I presented at TFP, two weeks ago. A revised version of the  
paper will be available soon; slided can already be picked up from

   http://people.cs.uu.nl/stefan/pubs/holdermans09spreading.html .

Cheers,

   Stefan