Strictness Analysis for Higher-Order Functions

Geoffrey L. Burn, Chris Hankin, Samson Abramsky. Strictness Analysis for Higher-Order Functions. Science of Computer Programming, 7(3):249-278, 1986.

@article{BurnHA86,
  title = {Strictness Analysis for Higher-Order Functions},
  author = {Geoffrey L. Burn and Chris Hankin and Samson Abramsky},
  year = {1986},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BurnHA86},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {7},
  number = {3},
  pages = {249-278},
}