A core calculus for provenance inspection

Wilmer Ricciotti. A core calculus for provenance inspection. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 187-198, ACM, 2017. [doi]

Authors

Wilmer Ricciotti

This author has not been identified. Look up 'Wilmer Ricciotti' in Google