Relevant—Uncertain<T>: A First-Order Type for Uncertain Data (Microsoft Research)

http://research.microsoft.com/pubs/208236/asplos077-bornholt...