Higher-Order Multiset Programming

Daniel Le Métayer. Higher-Order Multiset Programming. In Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors, Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. Volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 179-200, DIMACS/AMS, 1994.

@inproceedings{Metayer94,
  title = {Higher-Order Multiset Programming},
  author = {Daniel Le Métayer},
  year = {1994},
  researchr = {https://researchr.org/publication/Metayer94},
  cites = {0},
  citedby = {0},
  pages = {179-200},
  booktitle = {Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994},
  editor = {Guy E. Blelloch and K. Mani Chandy and Suresh Jagannathan},
  volume = {18},
  series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
  publisher = {DIMACS/AMS},
}