Programming with equations

Christoph M Hoffmann   and  Michael J O'Donnell

ACM Transactions on Programming Languages and Systems (TOPLAS) - 1982

ACM Transactions on Programming Languages and Systems (TOPLAS) - 1982

---

---. “Programming with Equations.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 4, no. 1, ACM New York, NY, USA, 1982, pp. 83–112, doi:10.1145/357153.357158.

@article{hoffmann1982programming,
  title = {Programming with equations},
  author = {Hoffmann, Christoph M and O'Donnell, Michael J},
  journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume = {4},
  number = {1},
  pages = {83--112},
  year = {1982},
  publisher = {ACM New York, NY, USA},
  doi = {10.1145/357153.357158},
  pdf = {Hoffmann-ACM_TOPLAS-1982-Programming_with_equations.pdf}
}