Ferruccio Damiani, Paola Giannini. An Inference Algorithm for Strictness. In Philippe de Groote, editor, Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings. Volume 1210 of Lecture Notes in Computer Science, pages 129-146, Springer, 1997.
@inproceedings{DamianiG97,
title = {An Inference Algorithm for Strictness},
author = {Ferruccio Damiani and Paola Giannini},
year = {1997},
researchr = {https://researchr.org/publication/DamianiG97},
cites = {0},
citedby = {0},
pages = {129-146},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings},
editor = {Philippe de Groote},
volume = {1210},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62688-3},
}