Programming in textsfAlma-0, or Imperative and Declarative Programming Reconciled

Publication
Proceedings of Frontiers of Combining Systems 2