@article{amtoft_1993, 
  title={Strictness Types: An Inference Algorithm and an Application}, 
  volume={22}, 
  DOI={10.7146/dpb.v22i448.6765}, 
  abstractNote={<jats:p>&lt;p&gt;This report deals with &lt;em&gt; strictness types&lt;/em&gt;, a way of recording whether a function needs its argument(s) or not. We shall present an inference system for assigning strictness types to expressions and subsequently we transform this system into an &lt;em&gt;algorithm&lt;/em&gt; capable of annotating expressions with strictness types. We give an example of a transformation which can be optimized by means of these annotations, and finally we prove the correctness of the optimized transformation -- at the same time proving the correctness of the annotation.&lt;/p&gt;&lt;p&gt;Everything has been implemented; documentation can be found in appendix.&lt;/p&gt;</jats:p>}, 
  number={448}, 
  publisher={Aarhus University Library}, 
  author={Amtoft}, 
  year={1993}, 
  month={Aug}
  }