Chris Hankin, Daniel Le Métayer
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis
POPL, 1994.
@inproceedings{POPL-1994-HankinM,
author = "Chris Hankin and Daniel Le Métayer",
booktitle = "{Conference Record of the 21st Symposium on Principles of Programming Languages}",
doi = "10.1145/174675.177858",
editor = "Hans-Juergen Boehm and Bernard Lang and Daniel M. Yellin",
isbn = "0-89791-636-0",
pages = "202--212",
publisher = "{ACM Press}",
title = "{Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis}",
year = 1994,
}