Abstraction of Optional Numerical Values.

Jiangchao Liu, Xavier Rival

Browse the full APLAS paper archive.