Reduction Strategies for Declarative Programming

Michael Hanus. Reduction Strategies for Declarative Programming. Theoretical Computer Science, 57:184-191, 2001. [doi]

@article{Hanus01:0,
  title = {Reduction Strategies for Declarative Programming},
  author = {Michael Hanus},
  year = {2001},
  url = {http://www.elsevier.nl/locate/entcs/volume57.html},
  tags = {programming},
  researchr = {https://researchr.org/publication/Hanus01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {57},
  pages = {184-191},
}