A flexible framework for programming with non-deterministicfunctions.

Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez

Browse the full PEPM paper archive.