Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon

Browse the full SIGMOD paper archive.