About this scholarly article

Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17 - Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler by Auerbach, Joshua S.; Hirzel, Martin; Mandel, Louis; Shinnar, Avraham; Siméon, Jérôme is a scholarly article available to read on EtoBox.

Author

Auerbach, Joshua S.; Hirzel, Martin; Mandel, Louis; Shinnar, Avraham; Siméon, Jérôme

Publisher

ACM Press

Published

2017

Language

EN