Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.

Hirofumi Yokouchi Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. 255-271 2008 FLOPS http://dx.doi.org/10.1007/978-3-540-78969-7_19 conf/flops/2008 db/conf/flops/flops2008.html#Yokouchi08