Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis.

Chris Hankin, Daniel Le Mtayer

Browse the full POPL paper archive.