Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon. Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. In Semih Salihoglu, Wenchao Zhou, Rada Chirkova, Jun Yang 0001, Dan Suciu, editors, Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017. pages 1555-1569, ACM, 2017. [doi]
Abstract is missing.