Programming, Transforming, and Providing with Function Abstractions and Memories

@inproceedings{Mason1989ProgrammingTA,
  title={Programming, Transforming, and Providing with Function Abstractions and Memories},
  author={Ian A. Mason and Carolyn L. Talcott},
  booktitle={ICALP},
  year={1989}
}