Programming, Transforming, and Providing with Function Abstractions and Memories.

Ian A. Mason, Carolyn L. Talcott

Browse the full ICALP paper archive.