textsfAlma-0: An Imperative Language that Supports Declarative Programming

Publication
ACM Transactions on Programming Languages and Systems