Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sigmod/AuerbachHMSS17
AU - Auerbach, Joshua S.
AU - Hirzel, Martin
AU - Mandel, Louis
AU - Shinnar, Avraham
AU - Siméon, Jérôme
TI - Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.
BT - Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017
SP - 1555
EP - 1569
PY - 2017//
DO - 10.1145/3035918.3035961
UR - https://doi.org/10.1145/3035918.3035961
ER -