@inproceedings{24fa08e4a1d64079a1a7f4ad56368b50,
title = "An inference algorithm for strictness",
abstract = "In this paper we introduce an algorithm for detecting strictness information in typed functional programs. Our algorithm is based on a type inference system which allows to exploit the type structure of the language for the investigation of program properties. The detection of strictness information can be performed in a complete way, by reducing it to the solution of a set of constraints involving type variables. A key feature of our method is that it is compositional and there is a notion of principal type scheme. Even though the language considered in the paper is the simply typed lambda-calculus with a fixpoint constructor and arithmetic constants we can generalize our approach to polymorphic languages like Lazy ML. Although focused on strictness our method can also be applied to the investigation of other program properties, like dead code and binding time.",
author = "Ferruccio Damiani and Paola Giannini",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 3rd International Conference on Typed Lambda Calculi and Applications, TLCA 1997 ; Conference date: 02-04-1997 Through 04-04-1997",
year = "1997",
doi = "10.1007/3-540-62688-3_33",
language = "English",
isbn = "3540626883",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "129--146",
editor = "{de Groote}, Philippe and Hindley, {J. Roger}",
booktitle = "Typed Lambda Calculi and Applications - 3rd International Conference on Typed Lambda Calculi and Applications, TLCA 1997, Proceedings",
address = "Germany",
}