Guarded Expressions in Practice.

Andreas Dolzmann, Thomas Sturm

Browse the full ISSAC paper archive.