The Choice Construct in the Souffl Language.

Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz

Browse the full APLAS paper archive.