Sciweavers

76 search results - page 16 / 16
» Recursive Polymorphic Types and Parametricity in an Operatio...
Sort
View
POST
2012
218views more  POST 2012»
12 years 1 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...