Uncertain: a first-order type for uncertain data.

James Bornholt, Todd Mytkowicz, Kathryn S. McKinley

Browse the full ASPLOS paper archive.