Lazy Type Inference for the Strictness Analysis of Lists.

Chris Hankin, Daniel Le Mtayer

Browse the full ESOP paper archive.